diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 08:39:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 08:39:54 +0000 |
commit | c2122d3f2a25c8133333f55e826742420c71f706 (patch) | |
tree | 8ef548d4db690b2104f94b742d161cebece3cdd6 | |
parent | dcf5c4199e611fb696abb85166dcbd51031e2d01 (diff) |
Updated.
-rw-r--r-- | todo | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -734,6 +734,3 @@ List of things postponed from PG 3.4: need to be merged above This needs to be fixed up in count undos, find-and-forget. *** Generic versions of count undos and find-and-forget generic. - -*** Key bindings on proof-universal-keys missing from scripting menu - (XEmacs) |