diff options
| author | Guillem Jover <guillem@debian.org> | 2004-09-20 15:12:24 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2004-09-20 15:12:24 +0000 |
| commit | 674450e770f98396d291516f38113c0266c2c4e3 (patch) | |
| tree | 6769af4291148d182d5fa5189ec735d32d43c4d5 /debian/patches | |
| parent | f4d537ad16111fa9830b221f0c806b43ba1b742c (diff) | |
Revert r32.
Move gnumach-dev to binary-arch.
Diffstat (limited to 'debian/patches')
0 files changed, 0 insertions, 0 deletions