From f702ce81d71828ad73e3861c0ef8564aabe133f9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 5 Jan 2000 20:53:48 +0000 Subject: [PATCH] . original commit: 303c101863a63f3b8f86118d6919a85f379a8ebd --- notes/mred/HISTORY | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index ef71f78a..85e67e88 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -1,4 +1,8 @@ +Version 102/5: + + [No notable changes] + Version 102/4: * Fixed page scrolling in editors, I think. (Rewrote it, actually.)