diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-16 02:30:28 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-16 02:30:59 +0100 |
| commit | d96193c4d8b8146586dd97ef1b30ebb714910c94 (patch) | |
| tree | c4e714e512d3c122420d89d5aa7cb642b8b6083a /main/lang | |
| parent | 5e0352e4a40ccd4e9dfa60baeb346bf1e391c448 (diff) | |
| download | aports-d96193c4d8b8146586dd97ef1b30ebb714910c94.tar.bz2 aports-d96193c4d8b8146586dd97ef1b30ebb714910c94.tar.xz | |
community/ocaml: move *.byte executables to -dev subpkg
Diffstat (limited to 'main/lang')
0 files changed, 0 insertions, 0 deletions