Remove debian/ directory.
authorRichard Kreckel <kreckel@ginac.de>
Tue, 29 Sep 2009 20:25:16 +0000 (22:25 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Tue, 29 Sep 2009 20:25:16 +0000 (22:25 +0200)
commitac235fa0a9285c055993bfa019896018db1817e6
tree090a92f335fa5b13b64a4133ca04d4d64799287c
parentb80dafc8692debf6c1d8b6bafb80e30c3ae03f6e
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]