Lennart Kats b714925ed8 Merge pull request #2063 from ajaxorg/fix/build ... do not rename kr_theme to kr during the build		2014-08-10 10:49:50 +02:00
..
ace	Merge pull request #2063 from ajaxorg/fix/build	2014-08-10 10:49:50 +02:00