aboutsummaryrefslogtreecommitdiff
path: root/src/Makefile
AgeCommit message (Expand)Author
2002-06-05no more dist in the makefilejestin
2002-06-05update of JIKES path to take the faulty gnu.getopt package into accountjestin
2002-06-05JIKESPATH modifiedjestin
2002-06-05Clean package build.jestin
2002-06-04Many major corrections, see changelogs for details.jestin
2002-03-071.0.9 and automatic hanlding of documentationjestin
2002-03-06Counter counts an approximative number of messages going on the bus,jestin
2001-10-10Bugfix related to the "a(.*) (.*)' regexp causing the loss of front emptyjestin
2001-08-08Doc generation is now fine. I removed the empty package-list, which madejestin
2001-08-06 Moved from the root dirjestin
1999-04-15*** empty log message ***jacomi
1999-04-15first version for makefilejacomi