mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
15 lines
94 B
Plaintext
15 lines
94 B
Plaintext
|
*.SPELLNEW
|
||
|
|
*.SPELLOLD
|
||
|
|
*.aux
|
||
|
|
*.bbl
|
||
|
|
*.blg
|
||
|
|
*.brf
|
||
|
|
*.idx
|
||
|
|
*.ilg
|
||
|
|
*.ind
|
||
|
|
*.log
|
||
|
|
*.out
|
||
|
|
*.toc
|
||
|
|
.*.swp
|
||
|
|
/tmp
|