annotate src/main/resources/openmind.properties @ 127:3e772f7f43e0 default tip

ismi-date with long month names in xml dump.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Thu, 11 May 2023 18:15:45 +0200
parents 8ce07918ec8a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
jurzua
parents:
diff changeset
1 scheduling-path=/home/jurzua/ismi-backup
jurzua
parents:
diff changeset
2 scheduling-enable=true