//kate: space-indent on; indent-width 4; replace-tabs on; mixedindent off; encoding utf-8
