Remove files that were only needed for github pages

This commit is contained in:
Philipp Oppermann
2017-03-11 14:03:26 +01:00
parent 74f84c16fa
commit 0fc98f2a92
3 changed files with 0 additions and 20 deletions

View File

View File

@@ -1 +0,0 @@
os.phil-opp.com