XhmikosR 00df9177fc Make ToC's entries' color darker. ... The previous was too light.		2019-02-07 11:53:47 +02:00
..
4.2	Make ToC's entries' color darker.	2019-02-07 11:53:47 +02:00
versions.html	versions: sort from newer to older. (#27898)	2018-12-23 14:12:13 +02:00