diff options
| author | Maxime Dénès | 2017-06-01 15:41:36 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-01 15:43:02 +0200 |
| commit | 305c8dc1a8518388077c5f2d063f793a2c2e39da (patch) | |
| tree | 8a45cee731719c7410eb981d84a201b92e9bc0fe /test-suite | |
| parent | f3a388baf9cf2a14a658cab77554a0802b999486 (diff) | |
Fix coq_makefile uninstall target under OSX.
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/.csdp.cache | bin | 89077 -> 89077 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/.csdp.cache b/test-suite/.csdp.cache Binary files differindex ba85286dd3..b99d80e95f 100644 --- a/test-suite/.csdp.cache +++ b/test-suite/.csdp.cache |