Vadim Zeitlin eaaad6471d Merge branch 'aui-delete-tool' ... Provide work around for surprising behaviour of wxAuiToolBar::DeleteTool(). Closes https://github.com/wxWidgets/wxWidgets/pull/1758		2020-03-15 17:10:41 +01:00
..
wx	Merge branch 'aui-delete-tool'	2020-03-15 17:10:41 +01:00
check_syntax.sh