Mon, 10 Nov 1997 15:25:12 +0100 | wenzelm | ASCII-fied; | changeset | files |
Mon, 10 Nov 1997 15:06:58 +0100 | oheimb | polished definition of find_index_eq | changeset | files |
Mon, 10 Nov 1997 15:05:41 +0100 | wenzelm | check files for non-ASCII characters; | changeset | files |