diff options
author | Ben Elliston <bje@gnu.org> | 2003-08-12 04:19:56 +0000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2003-08-12 04:19:56 +0000 |
commit | 87a22a87440c9de7f2249b582327932d1e358dce (patch) | |
tree | ac3a833aa35ac25b0f28ef142422b99704bd1128 /README | |
parent | baa8d5dc0b21695711a00159761ed706ff4d265a (diff) | |
download | dejagnu-87a22a87440c9de7f2249b582327932d1e358dce.zip dejagnu-87a22a87440c9de7f2249b582327932d1e358dce.tar.gz dejagnu-87a22a87440c9de7f2249b582327932d1e358dce.tar.bz2 |
* remove stray whitespace.
Diffstat (limited to 'README')
-rw-r--r-- | README | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -72,6 +72,3 @@ documentation is not built by default. Use these targets: when configuring. Otherwise it defaults to /usr/local. See the DejaGnu manual for more information on installation. - - - |