wxWidgets/interface
Vadim Zeitlin be01b0c36a Rename wxLocaleIdent::IsDefault() to IsEmpty()
We don't use empty wxLocaleIdent as default user locale and it doesn't
make much sense to do it, as the default locale is already accessible
via wxUILocale::GetDefault().
2021-09-05 00:15:39 +02:00
..
wx Rename wxLocaleIdent::IsDefault() to IsEmpty() 2021-09-05 00:15:39 +02:00
check_syntax.sh