Rémi Verschelde 6ba1b4e371 Merge pull request #29764 from Calinou/boot-splash-no-filter-option ... Add an option to disable boot splash filtering		2019-06-16 10:39:53 +02:00
..
classes	Merge pull request #29764 from Calinou/boot-splash-no-filter-option	2019-06-16 10:39:53 +02:00
tools	makerst: Fix format of [url] links in reST	2019-06-11 10:51:10 +02:00
Doxyfile	Remove trailing whitespace	2018-11-20 11:15:02 +01:00
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00