about summary refs log tree commit diff
path: root/src/aterm-helper.pl
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-02-23T22·12+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-02-23T22·12+0000
commitb4e6d98fc33df055c8230903bb7d9633042a6374 (patch)
treeb4bf61f9a936e80fe0d2af8808818e78821e509b /src/aterm-helper.pl
parent2b20318b0e968432438a7528b2d11d05585877c2 (diff)
* configure: flag --with-sqlite.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions