mirror of
https://github.com/Cockatrice/Cockatrice.git
synced 2025-12-12 07:40:30 -08:00
* readd properties * use newer doxygen version + print config update diff * readd config options * fix config * revert cache change * GITHUB md * graphviz version * Add doxygen output to .gitignore