This repository has been archived on 2024-06-01. You can view files and clone it, but cannot push or open issues or pull requests.

stuzer05 7ef77117a4 Add mediawiki icons		2022-12-03 11:29:15 +02:00
..
mediawiki_extensions	Initial	2022-12-02 21:14:14 +02:00
mediawiki_override	Add mediawiki icons	2022-12-03 11:29:15 +02:00
mediawiki_skins	Initial	2022-12-02 21:14:14 +02:00
scripts	Initial	2022-12-02 21:14:14 +02:00