diff options
| author | GNU Hurd wiki engine <web-hurd@gnu.org> | 2007-12-19 14:33:45 +0000 |
|---|---|---|
| committer | GNU Hurd wiki engine <web-hurd@gnu.org> | 2007-12-19 14:33:45 +0000 |
| commit | 9eae8a2f8291ad2ed822188c5144a61285508e7c (patch) | |
| tree | 0e700ddb5bd2d09feac83906695df2a85f18f155 /user.old | |
| parent | 5771a775c35da91efe1a61e73be24ae59c8a6aec (diff) | |
web commit by MichaelBanck: redone as hurd/running/debian/patch_submission
Diffstat (limited to 'user.old')
0 files changed, 0 insertions, 0 deletions