Remove debian/ directory.
authorRichard Kreckel <kreckel@ginac.de>
Tue, 29 Sep 2009 20:28:47 +0000 (22:28 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Tue, 29 Sep 2009 20:28:47 +0000 (22:28 +0200)
commit43d36593b9588b938a42a98f823c36c9f1ded088
treed3015d101e9d8f167e4d21d21d1d4f1c2b70bf5e
parentf2f67dde5c9caca69137da2178118407f27639ef
Remove debian/ directory.

The lifecycle of the Debian packaging files is better maintained in
the Debian pool's diff file. Removing these files makes the life of
the GiNaC releaser easier.
debian/changelog [deleted file]
debian/compat [deleted file]
debian/control [deleted file]
debian/copyright [deleted file]
debian/ginac-tools.install [deleted file]
debian/ginac-tools.menu [deleted file]
debian/ginac.xpm [deleted file]
debian/libginac-dev.info [deleted file]
debian/libginac-dev.install [deleted file]
debian/libginac1.5.install [deleted file]
debian/rules [deleted file]