diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-08-18 00:51:29 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-08-18 00:51:29 +0000 |
| commit | e967105a8dd64e2c95fd8eeb109741757b15b13d (patch) | |
| tree | fe3e76f037fec3542b9e4e33744eaf0585037f82 /debian/prerm | |
| parent | 62a7e5fb22fc7192efc53e59e6ec6b664cdf18b0 (diff) | |
2001-08-18 Marcus Brinkmann <marcus@gnu.org>
* debian/changelog: Update for next package upload.
* debian/control: Add gnumach-dbg package.
* debian/rules: New targets to build gnumach-dbg package.
Fix various bugs.
Diffstat (limited to 'debian/prerm')
0 files changed, 0 insertions, 0 deletions