# HG changeset patch # User Dave Love # Date 928252772 0 # Node ID 785877e7bab4857fe15a8c45fa7f509c77420c94 # Parent b4bf2212c4185ad7cd49c541a15aafce7b401129 RefTeX URL. diff -r b4bf2212c418 -r 785877e7bab4 etc/MORE.STUFF --- a/etc/MORE.STUFF Tue Jun 01 15:54:31 1999 +0000 +++ b/etc/MORE.STUFF Tue Jun 01 15:59:32 1999 +0000 @@ -90,6 +90,8 @@ * PC Selection: + * RefTeX: + * Speedbar, Checkdoc etc: * SQL: