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 /hurd/running | |
parent | e39321da54b2df7f41c7c88b0c77a44e0373799c (diff) |
`hurd/hurdcritique' -> `hurd/critique'.
Diffstat (limited to 'hurd/running')
0 files changed, 0 insertions, 0 deletions