source: trunk/indexers@ 7355

Name Size Rev Age Author Last Change
../
mg 7228   20 years kjdon added a new -M option to mg_passes, allowing maxnumeric to be altered …
mgpp 6416   20 years mdewsnip Added option to compile just the Java stuff.
Note: See TracBrowser for help on using the repository browser.