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 /include/mach/profil.h | |
| 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 'include/mach/profil.h')
0 files changed, 0 insertions, 0 deletions