Changeset 36280


Ignore:
Timestamp:
2022-07-01T11:55:16+12:00 (5 months ago)
Author:
kjdon
Message:

we now use greenstone.default.servlet instead of server.default.servlet in build.properties

File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.