Simplify the docs configuration

2018-10-16 22:55:05 +02:00
parent 8fa80c1589
commit 13e3862ca7
2 changed files with 3 additions and 5 deletions
@@ -1,2 +0,0 @@
-{% set version=github_version %}
-{% extends "!layout.html" %}