diff options
author | 2012-12-29 15:55:53 +0100 | |
---|---|---|
committer | 2012-12-29 15:57:52 +0100 | |
commit | e16a62685a044b4754d9075512d2852d0dd7c1d2 (patch) | |
tree | 2e22243163dbb09b92364f471df7c0aaf2f51e49 /tactics/extraargs.mli | |
parent | 82f618cde74011104f2d369c2aa28d47deb08fb3 (diff) |
Add ocaml-findlib to Build-Depends...
...so that detection of lablgtk2 works
Diffstat (limited to 'tactics/extraargs.mli')
0 files changed, 0 insertions, 0 deletions