Remove references to labltk (now distributed separately)
authorStephane Glondu <steph@glondu.net>
Tue, 21 Oct 2014 10:14:13 +0000 (12:14 +0200)
committerStephane Glondu <steph@glondu.net>
Tue, 21 Oct 2014 14:49:56 +0000 (16:49 +0200)
commit09190fe9698559fc6690478849fa3e632d0755f6
treee4bb2931af18016cea964da4fa20c1b80ab5e215
parent2d3f11c25129d35c9bc57ed645f35bcdb1dae72e
Remove references to labltk (now distributed separately)
debian/control
debian/control.in
debian/copyright
debian/ocaml-base.install.in
debian/ocaml.install.in
debian/rules