Remove cma files shipped in camlp4 package since they are not used
authorMehdi Dogguy <dogguy@pps.jussieu.fr>
Wed, 22 Jul 2009 14:18:25 +0000 (16:18 +0200)
committerMehdi Dogguy <dogguy@pps.jussieu.fr>
Wed, 22 Jul 2009 22:33:19 +0000 (00:33 +0200)
commit3663a00e45fd0ae24877becd29f5f75f1d951633
treee8159c648230d1e0a531fae040e5d8e5d0ac6c02
parentca0fefc1ef4bd0f7b8ea034789608ced769ecdf7
Remove cma files shipped in camlp4 package since they are not used
debian/camlp4-extra.install.in
debian/changelog