diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 16:05:31 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 16:05:31 +0100 |
| commit | 0a00e01db267619c68ca223de2ba6b160163e6b6 (patch) | |
| tree | 60f2d0011471ff5ad500eb4e86796cf436812d8f /dune | |
| parent | 26608d2d1798795844d8c140e37d75b26467e374 (diff) | |
| download | vericert-0a00e01db267619c68ca223de2ba6b160163e6b6.tar.gz vericert-0a00e01db267619c68ca223de2ba6b160163e6b6.zip | |
Fix linguist-vendored for repository statistics
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions