diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-24 11:45:42 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-24 11:45:42 +0000 |
commit | b9e793eef135bd411c9945f0b1ba99308d9edbd5 (patch) | |
tree | a175d94156747110e6b933fb1345fd714cbcbadd /src | |
parent | 18640c782f216e6e62e25ce24b6061ad93703cf6 (diff) | |
download | vericert-b9e793eef135bd411c9945f0b1ba99308d9edbd5.tar.gz vericert-b9e793eef135bd411c9945f0b1ba99308d9edbd5.zip |
Force _CoqProject generation and fix namespaces
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions