diff options
Diffstat (limited to 'editors/thoteditor/pkg-descr')
| -rw-r--r-- | editors/thoteditor/pkg-descr | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/editors/thoteditor/pkg-descr b/editors/thoteditor/pkg-descr index deb969d51ad2..ef0cfcd83e37 100644 --- a/editors/thoteditor/pkg-descr +++ b/editors/thoteditor/pkg-descr @@ -7,7 +7,6 @@ large part of the intended features of Thot Editor are implemented, but some of them are not complete yet and the software is not supposed to be very robust. The user interface may change and can be improved. -Getting documentation and the distribution ------------------------------------------- -please consult web pages of Opera team server : -http://opera.inrialpes.fr/thot/ +For documentation, please see the homepage. + +WWW: http://opera.inrialpes.fr/thot/ |