diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 19:52:25 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 19:52:25 +0000 |
commit | 41513c2568025bda74a9ddf9e90e848cd810525f (patch) | |
tree | 5ccbb1d4454eccceb80794599a537d5d8ede3db1 /lib | |
parent | a2aafb7de592a60a86add13e184396e07b75ab07 (diff) | |
download | vericert-41513c2568025bda74a9ddf9e90e848cd810525f.tar.gz vericert-41513c2568025bda74a9ddf9e90e848cd810525f.zip |
Add dune files to .gitignore
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions