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 /_CoqProject | |
| parent | d02944ff5704c332f9f5303095dfd2ec7bd421a6 (diff) | |
| download | vericert-kvx-5506f577abb869110fbce5a55d3bc545c3622c99.tar.gz vericert-kvx-5506f577abb869110fbce5a55d3bc545c3622c99.zip | |
Fix project links
Diffstat (limited to '_CoqProject')
| -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 |