aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2016-07-03 16:22:23 +0200
committerMathieu Lirzin <mthl@gnu.org>2016-07-03 16:22:23 +0200
commit987f83b000bcc0549c685d652fddd8a742ee7dca (patch)
tree7d009845a89b10616f0dd554b066fe7d88588bc7 /.gitignore
parent3377d948ef7e5ab71c1e3363aafb61f5fcfcca1f (diff)
downloadcuirass-987f83b000bcc0549c685d652fddd8a742ee7dca.tar
cuirass-987f83b000bcc0549c685d652fddd8a742ee7dca.tar.gz
Fix single char for 'database' in %options.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions