Martin Taibr 3f7d0c8d75 Use the same <title> as <h1> on gh-pages		2019-02-28 19:17:10 +01:00
..
index.html	Use the same <title> as <h1> on gh-pages	2019-02-28 19:17:10 +01:00
versions.html	Use the same <title> as <h1> on gh-pages	2019-02-28 19:17:10 +01:00