More fixes from DrMike

1998-12-16 04:55:33 +00:00 · 1998-12-16 04:55:33 +00:00 · 7e2618dd76
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@ -14,8 +14,6 @@ gnome/gwidget.c
 gtkedit/edit.c
 gtkedit/edit.h
 gtkedit/editcmd.c
 gtkedit/editmenu.c
 gtkedit/editoptions.c
 gtkedit/editwidget.c
 gtkedit/gtkedit.c
 gtkedit/syntax.c