diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-06-15 19:43:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-15 19:43:18 +0100 |
commit | 10d0213d3f240c757ff9892ff044127a839e955b (patch) | |
tree | dd270f0c6d9d08c4080428645b4204eedf894e5b /pkgs/development/compilers | |
parent | 9ffbebfeb0d1e680e7c9fce3f76559ea7d6c7062 (diff) | |
parent | 8ac0e688091d7ce4e75c058918b4137b3fac2427 (diff) |
Merge pull request #26599 from Mic92/utop
ocamlPackages.utop: allow utop to locate topfile
Diffstat (limited to 'pkgs/development/compilers')
0 files changed, 0 insertions, 0 deletions