Alexander Graf
|
36110c8727
|
Disable search engine indexing on old doc hoster
|
2018-03-24 12:37:24 +01:00 |
|
Alexander Graf
|
4a944fbbdb
|
doc: meta tag to redirect to new documentation URL
|
2018-03-24 11:32:53 +01:00 |
|
Alexander Graf
|
304cde64fe
|
Link to github pages doc hosting rather than rtd
|
2018-03-13 15:11:36 +01:00 |
|
Alexander Graf
|
01e549275e
|
doc: ownership verification tag
|
2017-11-17 10:06:53 +01:00 |
|
Alexander Graf
|
e748b53b6a
|
Add layout template extension
(forgot to commit it. Sorry...)
|
2017-08-26 13:49:54 +02:00 |
|