Remove unnecessary files

2014-10-03 17:53:55 -07:00 · 2014-10-03 17:53:55 -07:00 · 03431efd65
parent 6298bab5a2
commit 03431efd65
2 changed files with 0 additions and 7 deletions
--- a/website/dummy.txt
+++ b/website/dummy.txt
@ -1,4 +0,0 @@
-This file doesn't do anything, but we periodically update the number
-below just to force being able to deploy the website again.
-
-1
--- a/website/version.txt
+++ b/website/version.txt
@ -1,3 +0,0 @@
-Just increment this number if you have to deploy the website:
-
-3