From e1f1c35db665e1f46f9fb1e4123825b94e55a0b1 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 5 Oct 2001 15:57:39 +0000 Subject: [PATCH] . original commit: 419243d946f0f3f7928c861750b042d00da1a11d --- notes/mred/HISTORY | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index 2fdcf86a..cafae868 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -22,7 +22,7 @@ Version 199.24: mred.forceFocus : 0 - + * The set of resources that MrEd reads is now documented. Version 199.23: