summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-08-05 17:11:39 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-08-05 17:11:39 -0400
commit5b530665813a1041554357f6eca2c6ac36e2e26b (patch)
tree4eb88399853e78a069ac98f8a70f8658184b801f /configure.ac
parentd914989e7ecf17997a2e57d6490b18f6c2b52e5e (diff)
Revert last changeset for now; needs more thought
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions