Remove useless *.dirs* files
authorStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 09:40:31 +0000 (11:40 +0200)
committerStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 10:45:10 +0000 (12:45 +0200)
commit8e0c1391d4ab8af9d8afd867ee5be52575a72e22
tree53fe11daea0bfd934befbc3e6da18c2938b942ef
parent63ebd8123948372bc62139e1a82df29f70cf7e1f
Remove useless *.dirs* files
debian/ocaml-base-nox.dirs.in [deleted file]
debian/ocaml-base.dirs.in [deleted file]
debian/ocaml-native-compilers.dirs [deleted file]
debian/ocaml-nox.dirs.in [deleted file]
debian/ocaml-source.dirs.in [deleted file]
debian/ocaml.dirs.in [deleted file]