Mercurial > hg > openmind
diff lib/hashMapping.jar @ 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 | 2db1752315bd |
| children |
| author | Robert Casties <casties@mpiwg-berlin.mpg.de> |
|---|---|
| date | Thu, 11 May 2023 18:15:45 +0200 |
| parents | 2db1752315bd |
| children |