mirror of
https://github.com/vcmi/vcmi.git
synced 2025-01-26 03:52:01 +02:00
354b9e7fb3
- fixed #866 but may result in performance decrease - (deb) removed vcmi-doc package