Remove tools/htdocs/Makefile, which should never have existed
authorMike Taylor <mike@indexdata.com>
Wed, 15 Oct 2014 15:22:20 +0000 (16:22 +0100)
committerMike Taylor <mike@indexdata.com>
Wed, 15 Oct 2014 15:22:20 +0000 (16:22 +0100)
commit3b90fc7dcd5358f94e712632c1ee34c224fbec42
tree4164eb2e3796db13b82757a37fd2ce2215e353be
parent6449cfc2f6394765a842554d10498186806caf08
Remove tools/htdocs/Makefile, which should never have existed
tools/htdocs/Makefile [deleted file]