diff options
| author | BESSON Frederic | 2020-09-11 17:22:50 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-09-15 15:56:39 +0200 |
| commit | 6b379b22f445c970237d815cbbbf9dfa33e055d2 (patch) | |
| tree | f37f6dbcccfd63505ce28c973cd0b79eaa6c2d78 /.merlin.in | |
| parent | 43ad95fc6723bd82960b15dda708600073fc7435 (diff) | |
Updated .csdp.cache.test-suite and minor fixes
- merlin.in : added zarith
- test-suite/Makefile remove .csdp.cache on make clean
updated .csdp.cache.test-suite
Diffstat (limited to '.merlin.in')
| -rw-r--r-- | .merlin.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.merlin.in b/.merlin.in index fa3473765d..80b0b600eb 100644 --- a/.merlin.in +++ b/.merlin.in @@ -54,3 +54,4 @@ S plugins/** B plugins/** PKG threads.posix +PKG zarith
\ No newline at end of file |