Stefan Guggisberg wrote:
the correct "environment home" directory would be<repository>/workspaces/<workspace>/db (for the individual workspaces) <repository>/version/db (for the version store)
hm, putting je.properteis in those dirs didn't seem to help. i'll follow up on the je list and let you know what i learn. thanks!
