suvari 1d92e7df65 libmediawiki: clean unneeded options..

2016-11-09 20:31:31 +02:00

..

actions.py

libmediawiki: clean unneeded options..

2016-11-09 20:31:31 +02:00

pspec.xml

libmediawiki: fix build

2016-11-09 20:26:02 +02:00