.gitignore revision cc51cd2d2076e33117c60c9effcb8caccde4983b
verify.out.*
zones/*.good
zones/*.bad
zones/K*
zones/dsset-*
zones/s.out*