diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-12-03 18:15:22 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:57 +0200 |
| commit | a0e81d1ebfbf11bc056f729242e8565f177afa95 (patch) | |
| tree | 9991d891831feac64fe7246c4e14eeede89f4ae2 /ChangeLog | |
| parent | 7cae3087c16f0432023b624b5b3c11eb04c096c5 (diff) | |
2006-12-03 Thomas Schwinge <tschwinge@gnu.org>
[bug #17120 --- ``GNU Mach debian dir'']
* debian/README.Debian: Remove file.
* debian/changelog: Likewise.
* debian/control: Likewise.
* debian/copyright: Likewise.
* debian/postinst: Likewise.
* debian/prerm: Likewise.
* debian/rules: Likewise.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -1,5 +1,14 @@ 2006-12-03 Thomas Schwinge <tschwinge@gnu.org> + [bug #17120 --- ``GNU Mach debian dir''] + * debian/README.Debian: Remove file. + * debian/changelog: Likewise. + * debian/control: Likewise. + * debian/copyright: Likewise. + * debian/postinst: Likewise. + * debian/prerm: Likewise. + * debian/rules: Likewise. + [bug #18015 --- ``GNU Mach: `make dist' and friends''] * Makefile.am (DISTCLEANFILES): New variable. |