Other ignores for jaffa.jar that are meant for jaffa-tools.jar
Authored by: exeunt 2003-09-17
Parent: [r455]
Child: [r457]
