]> err.no Git - mapper/commit
Make HAL optional even if requested
authorKaj-Michael Lang <milang@tal.org>
Thu, 10 Apr 2008 11:15:58 +0000 (14:15 +0300)
committerKaj-Michael Lang <milang@tal.org>
Thu, 10 Apr 2008 11:15:58 +0000 (14:15 +0300)
commitdec646eb888e5d9d9050d6b85d00d7414b7918c5
treed793fab5af18ef9d8e99eebcdf6db84a8f4bab56
parentfd80fea55a23b93c06e388f10f0bef7a4f6d623f
Make HAL optional even if requested
configure.ac