No need to ignore installed library-configuration.html
authorMike Taylor <mike@indexdata.com>
Thu, 31 Jul 2014 02:00:36 +0000 (03:00 +0100)
committerMike Taylor <mike@indexdata.com>
Thu, 31 Jul 2014 02:00:36 +0000 (03:00 +0100)
commit9b2a6af34bd52d36c853a567cf73ff1a35d05b27
tree3ce3ffcfc7471c96529819202a91d16002b52d67
parentd01fc8a6755738a6d5a8e27c703c604446341439
No need to ignore installed library-configuration.html
tools/htdocs/.gitignore