Nathaniel Wesley Filardo fd12be9966 file: list now takes optional pattern for filtering (#2452) ... Thanks to @TerryE for many useful suggestions		2018-08-10 16:38:48 +01:00
..
css	Fix font-size, it's odd and inconsistent in the theme	2016-01-16 15:25:48 +01:00
de	Final polishing on several pages	2016-01-16 23:11:40 +01:00
en	file: list now takes optional pattern for filtering (#2452)	2018-08-10 16:38:48 +01:00
img	Remove custom favicon from docs	2018-02-11 23:22:15 +01:00
js	With RTD the JS search seems no longer necessary	2018-01-21 23:58:58 +01:00
index.md	Final polishing on several pages	2016-01-16 23:11:40 +01:00