Volker E 366768e905 mediawiki.diff: Reduce selectors and remove obsolete documentation HTML page ... Reinstate `ins`/`del` selectors of I5db0350bca0b8c32 and remove obsolete 'uidesign' doc page that was building on top of CSS file. Change-Id: Id48c076e6429c0066078c691fe99f06317e14b8a		2020-06-03 21:46:43 +00:00
..
confirmable.html	Remove traling double newlines from text files	2019-10-23 21:17:43 +02:00
design.html
monospace.html