This repository has been archived on 2024-08-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Christian Vogeley 0f4b6ba371 Merge correction

2013-12-22 15:05:56 +01:00

..

default.php

…

full.php

…

minimal.php

…

mod_import.php

…

none.php

…

theme_init.php

Merge correction

2013-12-22 15:05:56 +01:00