diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-08 16:41:00 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-08 16:45:30 +0100 |
| commit | 30030d2968ec0c7c556986124575b054867caff5 (patch) | |
| tree | 3afaeaf014ba055a3ac47b9e41b418c677e27097 /community/ocaml-findlib | |
| parent | d118b3f909b51491f697a99be15df39a8aa3676b (diff) | |
community/opam: modernize abuild
Diffstat (limited to 'community/ocaml-findlib')
0 files changed, 0 insertions, 0 deletions