diff options
| author | Cyril Cohen | 2015-04-02 13:31:52 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2015-04-02 13:31:52 +0200 |
| commit | e2530e78deda5cf6be2111951efb8ea747af7fa8 (patch) | |
| tree | 5747090683715eeeb8a2f6541ec0896c7ea59121 /mathcomp/_CoqProject | |
| parent | d226438118e60bc04075c2ef62d61bffe5d72beb (diff) | |
Broken global Makefile
Diffstat (limited to 'mathcomp/_CoqProject')
| -rw-r--r-- | mathcomp/_CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mathcomp/_CoqProject b/mathcomp/_CoqProject new file mode 100644 index 0000000..9e1621c --- /dev/null +++ b/mathcomp/_CoqProject @@ -0,0 +1 @@ +-R . mathcomp
\ No newline at end of file |