diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-01-22 18:30:46 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-01-22 18:30:46 +0000 |
commit | 5506f577abb869110fbce5a55d3bc545c3622c99 (patch) | |
tree | 448f756ed2c1e0b75695584da2a405191f0da1f3 | |
parent | d02944ff5704c332f9f5303095dfd2ec7bd421a6 (diff) | |
download | vericert-kvx-5506f577abb869110fbce5a55d3bc545c3622c99.tar.gz vericert-kvx-5506f577abb869110fbce5a55d3bc545c3622c99.zip |
Fix project links
-rw-r--r-- | _CoqProject | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index 88ff260..12eb8b7 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,2 +1,2 @@ --R CoqUp CoqUp --R lib/bbv/src/bbv bbv
\ No newline at end of file +-R src/CoqUp CoqUp +-R lib/bbv/src/bbv bbv |