From d4950c124d4fdd3f215da8ef997dde46d324363a Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Thu, 27 Dec 2001 15:55:45 +0000 Subject: updated; --- isar/BUGS | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'isar/BUGS') diff --git a/isar/BUGS b/isar/BUGS index baddf520..88d9b757 100644 --- a/isar/BUGS +++ b/isar/BUGS @@ -4,6 +4,4 @@ See also ../BUGS for generic bugs. -Nothing specific here, check isa/BUGS for some issues that may apply -to Isar as well. - +Nothing specific here. -- cgit v1.2.3