Ángel González 926895733b Cosmetic changes ... Change space indents to tabs Remove ?> at end of file Add or remove some indentation where appropriate		2017-05-08 00:45:57 +02:00
..
bootstrap.php	remove single spaces after tabs	2016-06-04 01:54:19 +02:00
config.php	Cosmetic changes	2017-05-08 00:45:57 +02:00
core.php	Cosmetic changes	2017-05-08 00:45:57 +02:00
database.php	remove single spaces in front of tabs	2016-06-04 01:14:25 +02:00
gpg	Add partial travis support	2015-09-07 00:40:47 +02:00
myphpconfig.ini	Add partial travis support	2015-09-07 00:40:47 +02:00