From 7cce51513dfc8fbcdfe98215368f236c8598e961 Mon Sep 17 00:00:00 2001 From: Luc Teirlinck Date: Wed, 23 Jun 2004 17:43:32 +0000 Subject: [PATCH] MORE.STUFF: Delete obsolete URL. --- etc/MORE.STUFF | 3 --- 1 file changed, 3 deletions(-) diff --git a/etc/MORE.STUFF b/etc/MORE.STUFF index 1eec6f23b9e..ba514f2dbac 100644 --- a/etc/MORE.STUFF +++ b/etc/MORE.STUFF @@ -36,9 +36,6 @@ You might find bug-fixes or enhancements in these places. * Ada: - * Autorevert, CWarn and Follow: - - * Battery and Info Look: * BibTeX: -- 2.11.4.GIT