source:
main/trunk/greenstone3/src/java/org/greenstone@
21919
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
testing | 9874 | 19 years | merged from branch ant-install-branch: merge 1 | ||
server | 20945 | 15 years | Needed to do a server.reconfigRequired() after changing the address … | ||
gsdl3 | 21912 | 14 years | force garbage collection after closing gdb database on Windows | ||
applet | 13245 | 18 years | reset the ppnum number for a new search | ||
anttasks | 17096 | 16 years | deleting duplicates of the anttask source code | ||
admin | 21919 | 14 years | New code for GAI extension manager |
Note:
See TracBrowser
for help on using the repository browser.