summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-05-15 13:16:58 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-05-15 13:16:58 -0400
commitf466294ad42b97ff395e9d25469b4bef8a06dbb9 (patch)
tree4934c45cb23e0bb2a8a62c28342166bd9b59ef45 /configure
parentaefc3accf262f17945ec53764d5828707ccab316 (diff)
New release
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions