diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2016-11-21 17:06:19 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-01-01 13:30:43 +0100 |
commit | 023c11470e32744a43b7e3c7c248f3c47ebdc687 (patch) | |
tree | 832e04c2923295d5adf61e58d9a333afb5b26c77 /.merlin | |
parent | ef312564ca84a2b49fc291434d8fb2f8501bb618 (diff) |
Use gadt for function catalog
Diffstat (limited to '.merlin')
-rwxr-xr-x | .merlin | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -PKG num curses camlzip ezxmlm uutf text calendar oUnit menhirLib +PKG num curses camlzip ezxmlm uutf text oUnit menhirLib S . S odf/* S tests/* |