Griatch 6712c5d821 Change version format in docs		2020-05-22 00:56:04 +02:00
..
localtoc.html	Further additions to the theme	2020-04-09 08:39:55 +02:00
sourcelink.html	Further additions to the theme	2020-04-09 08:39:55 +02:00
versioning.html	Change version format in docs	2020-05-22 00:56:04 +02:00