diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-12-03 16:38:51 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:57 +0200 |
| commit | 7cae3087c16f0432023b624b5b3c11eb04c096c5 (patch) | |
| tree | ec4c89e47f1d614fc6410236853cc8bacf88d288 /debian/prerm | |
| parent | 5736844f668cc599fc2173ca7469dd0f19e7b88d (diff) | |
2006-12-03 Thomas Schwinge <tschwinge@gnu.org>
[bug #18015 --- ``GNU Mach: `make dist' and friends'']
* Makefile.am (DISTCLEANFILES): New variable.
Diffstat (limited to 'debian/prerm')
0 files changed, 0 insertions, 0 deletions