Remove traces of camlp4
authorStephane Glondu <steph@glondu.net>
Mon, 16 Feb 2015 10:36:40 +0000 (11:36 +0100)
committerStephane Glondu <steph@glondu.net>
Mon, 16 Feb 2015 10:37:56 +0000 (11:37 +0100)
commit0438e737c755efb1bc18b2d52fbf5307ef99e3db
treec2c2abdfed15d9dbf61ade026a8b27cba76a4353
parent6af3bbf40dfa5a31340dad1d1ff5251adce60775
Remove traces of camlp4
debian/MANIFEST
debian/control
debian/copyright
debian/man/camlp4.1 [deleted file]
debian/ocaml-base-nox.README.Debian
debian/rules