chiark / gitweb /
Remove DKR index dir checks
authorAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 14:40:55 +0000 (16:40 +0200)
committerAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 14:40:55 +0000 (16:40 +0200)
commita4a3820e3535ed39ca0aae41ee45f3e32e655534
tree24109e9ae914b492196c0657e4c5583f874491f5
parent5e123f9fef3cf665a2b81a8200e34e6de1a54454
Remove DKR index dir checks
configure.ac