Remove empty directories
authorStephane Glondu <steph@glondu.net>
Thu, 13 Aug 2015 17:15:11 +0000 (19:15 +0200)
committerStephane Glondu <steph@glondu.net>
Thu, 13 Aug 2015 17:15:11 +0000 (19:15 +0200)
commitaf7a8fdb2885de96d86c8b0a87fe69e8fda9c7e4
tree93c170b0d016d3ae49f4e48549e77b7df9d46605
parent9ec4337bcee69c54abc100a72c4195bbdd34254f
Remove empty directories
debian/ocaml.dirs.in