jenkins-bot b05b165981 Merge "Make template parameter checkbox widget an OptionWidget"		2021-08-18 09:31:52 +00:00
..
ce	Minor documentation updates in template related classes	2021-06-25 16:46:59 +02:00
dm	Stop re-creating template parameter pages over and over again	2021-08-17 13:34:41 +02:00
init	Move abort event tracking from the start to the end of the teardown process	2021-07-27 22:50:52 +02:00
preinit	Fix history.replaceState call on diff pages	2021-08-14 10:51:24 +00:00
tests	Merge "Make checkbox element in the sidebar an actual widget"	2021-08-16 12:36:40 +00:00
themes
ui	Merge "Make template parameter checkbox widget an OptionWidget"	2021-08-18 09:31:52 +00:00