Julien Fischer 4f8cbecacd Remove the library stub files that we formerly ...

Estimated hours taken: 0.1
Branches: main

Remove the library stub files that we formerly
used for developing the Java backend.

java/Mmakefile:
java/library/*.java:
	Delete the library stub files in this directory.
	We no longer need them now that the real library
	compiles.

2004-04-06 11:06:33 +00:00

..

runtime

Have CVS ignore various files generated by the java grade and

2004-02-27 14:19:06 +00:00