4 Commits

Author	SHA1	Message	Date
Sarah Hoffmann	5ccb499a6f	install executables and call settings.php explicitly ... Executables (including websites) need to be installed in the build directory, so that they can find the right settings.php. settings now defines build and source dir.	2016-03-12 09:40:43 +01:00
Marc Tobias Metten	78a29b5a87	spaces-to-tabs for all *.php files	2016-02-27 00:02:20 +01:00
Sarah Hoffmann	fb0d219c7b	harmonize formatting of frontend php	2013-04-12 22:45:24 +02:00
Sarah Hoffmann	d7e91469b7	add script to list broken polygons	2012-03-04 10:54:07 +01:00