Move index.html to old-index.html, as we will be generating index.html from MarkDown
authorMike Taylor <mike@indexdata.com>
Mon, 13 Oct 2014 14:40:34 +0000 (15:40 +0100)
committerMike Taylor <mike@indexdata.com>
Mon, 13 Oct 2014 14:40:34 +0000 (15:40 +0100)
commit13c9c3716dbbd0bb25f2ba5d152ebc93c148ca79
treebe3c99722ae7dff4aaa6b2dd7b7180d583b220b7
parent8f6b9e871d1c129e963f792d51254cda056f85ad
Move index.html to old-index.html, as we will be generating index.html from MarkDown
tools/htdocs/index.html [deleted file]
tools/htdocs/old-index.html [new file with mode: 0644]