Ignore installed library-configuration.html
authorMike Taylor <mike@indexdata.com>
Thu, 24 Jul 2014 20:40:56 +0000 (21:40 +0100)
committerMike Taylor <mike@indexdata.com>
Thu, 24 Jul 2014 20:40:56 +0000 (21:40 +0100)
commit2af7341a8c3d34985e1b72dba76753e7c24530b0
tree3dd3c0df77e02785f3fc2505e436ee3b119a3de1
parente74dcfe340996618fc07a78e39cc9d38880f0b10
Ignore installed library-configuration.html
tools/htdocs/.gitignore