[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index] [Home]

Re: "keepfile" option, not to delete temp java files

>I believe the "keepJava" option is the only init argument that has
>a capital letter ('J').
>Maybe we should also check for "keepjava" in the source?

done.

>
>Cheers,
>
>Mark
>
>

Ciao,
	Carsten
alph@gjt.org