summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorHelmut Grohne <helmut@subdivi.de>2012-11-22 15:23:03 +0100
committerHelmut Grohne <helmut@subdivi.de>2012-11-22 15:23:03 +0100
commitead32cdaae65f5b87bf0d6a6732239f52450becb (patch)
treef90e9b6b6c611e3d528c640b49be2d10dcd12b9c /.gitignore
parente309253739ad0e3d9172e0b29156a5c88bbc9dbb (diff)
downloadbidiragda-ead32cdaae65f5b87bf0d6a6732239f52450becb.tar.gz
shorten line length of lemma-lookupM-checkInsert
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions