diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-04-24 18:39:07 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-04-24 18:39:07 +0000 |
| commit | 83e96dd49c46b793af9da3421ae0af4b1048aea8 (patch) | |
| tree | 4b7af27b135d43d6e886b467e4fd4637e1672b58 /devel.html | |
| parent | 7308caf1efee1da85f3273813019f420b15c84c3 (diff) | |
Fix spelling error, reported by Matt Kraai <kraai@alumni.cmu.edu>.
Diffstat (limited to 'devel.html')
0 files changed, 0 insertions, 0 deletions