/default_macros.txt/1.1/Tue Apr 18 20:08:55 2000//
/hires-color.txt/1.1/Tue Apr 18 20:08:55 2000//
/locking.txt/1.1/Mon Sep 11 17:42:05 2000//
/macro_extension.txt/1.1/Tue Apr 18 20:08:56 2000//
/non-manhattan.txt/1.1/Mon Dec 10 16:04:24 2001//
/open_gl.txt/1.2/Mon Jul 10 21:01:36 2000//
/readline.txt/1.1/Fri Jan 12 21:54:59 2001//
D
