DerFrZocker 6c61b73f38

#1052: Add option to use cached map color palette ...

This reduces the conversion time drastically with the cost of slightly more memory usage.

2022-06-18 21:13:42 +10:00

..

configurations

#1052: Add option to use cached map color palette

2022-06-18 21:13:42 +10:00

log4j2.xml

Fix log messages being split across GUI and terminal

2020-01-22 09:11:37 +11:00