diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-04 15:57:36 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-04 15:58:00 +0200 |
| commit | 0941d110f51dd65bdc01be87f66531f052d76430 (patch) | |
| tree | d0b63fe2c7bb0c5afc17d909537ba069214d7f50 /Main | |
| parent | e39321da54b2df7f41c7c88b0c77a44e0373799c (diff) | |
`hurd/hurdcritique' -> `hurd/critique'.
Diffstat (limited to 'Main')
0 files changed, 0 insertions, 0 deletions