summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-06 13:59:16 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-06 13:59:16 -0400
commit980a76796eceb07f1c722cc5dec1c24d933712ad (patch)
tree68459667a53592ae3e1ee0eab43e60816eb91f47 /configure.ac
parent0f74117c0c60e4fe07487a36fa0c665a6f359ce1 (diff)
About to try removing Select predicate
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions