peter 8830a9fb4a * fixed uppercase filenames ... * savetostream did twice a -1 on the linecount, so the lastline of a file wasn't saved correctly		1999-11-03 09:39:23 +00:00
..
fake	* updated with compiler versions	1999-09-17 09:16:12 +00:00
text	* fixed uppercase filenames	1999-11-03 09:39:23 +00:00
Makefile	+ Adapted ide Makefiles	1999-04-16 20:15:41 +00:00