From 7bb8ed9a550f619a36256d573047cc41da1cf210 Mon Sep 17 00:00:00 2001 From: Dave Love Date: Tue, 1 Jun 1999 15:59:32 +0000 Subject: [PATCH] RefTeX URL. --- etc/MORE.STUFF | 2 ++ 1 file changed, 2 insertions(+) diff --git a/etc/MORE.STUFF b/etc/MORE.STUFF index cf89cf25f8f..d48b055ebb7 100644 --- a/etc/MORE.STUFF +++ b/etc/MORE.STUFF @@ -90,6 +90,8 @@ You might find bug-fixes or enhancements in these places. * PC Selection: + * RefTeX: + * Speedbar, Checkdoc etc: * SQL: