Matthew Flatt 3472d2c7bc use glob-def-value ... original commit: 719022909e9dd87f14e6a2502ab8ea8f2e15c83e		1998-06-29 14:04:17 +00:00
..
mred	use glob-def-value	1998-06-29 14:04:17 +00:00