aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Matthew Sottile <matt@galois.com>2014-03-21 13:33:43 -0700
committerGravatar Matthew Sottile <matt@galois.com>2014-03-21 13:33:43 -0700
commitca03d49804495eec335f4b23619b039e991e207b (patch)
treecde32ef8f615af6b762d9d96046e21768723d4f1 /.gitignore
parent904f9af6f67b0d0269cd193440aa080896388875 (diff)
added line to make autoconf happy on fedora 20
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions