hwiesmann f9429b7db4 Make wxAuiManager::SavePaneInfo() parameter const ... The pane is not modified by saving its details.		2017-11-05 23:45:21 +01:00
..
wx	Make wxAuiManager::SavePaneInfo() parameter const	2017-11-05 23:45:21 +01:00
check_syntax.sh