English
Deutsch

BaseX 8.0.3

19.03.2015 19:59
Various bug fixes (all minor).