summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-01-06 12:31:13 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-01-06 12:31:13 -0500
commit15019ea3085f93069295c77e196758827e3e2bee (patch)
treeaae7b20d693489e6bb467ca8cdc14289f3981d15 /configure
parent8a359f7e4f972172b2175a8d8fe76844435dd587 (diff)
Expand valueish again
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions