]> gerrit.simantics Code Review - simantics/platform.git/history - settings.xml
Fix annoying editor focus jumping with Ctrl+Shift+D/M
[simantics/platform.git] / settings.xml
2017-08-10 Tuukka LehtonenFixed mvn package and verify to also work with linux...