diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-11-28 11:07:34 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-28 11:07:34 +0000 |
commit | d0700b00ea6eebc070b1049646d253565d7feda5 (patch) | |
tree | 7ea7d00ae6c5777c7320f3fd515b8afd907fa30d /.gitignore | |
parent | 289dc4be9287f5a720084ca923dcd10f3b9c9393 (diff) | |
download | vericert-d0700b00ea6eebc070b1049646d253565d7feda5.tar.gz vericert-d0700b00ea6eebc070b1049646d253565d7feda5.zip |
Update website css
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -47,3 +47,5 @@ bin/vericert _build dune-project .merlin + +/docs/html |