more files to ignore
This commit is contained in:
parent
98604c754f
commit
839837a69e
5 changed files with 11 additions and 0 deletions
|
|
@ -16,3 +16,7 @@ tripprod
|
|||
mixprod
|
||||
spotlbtt
|
||||
ltlmagic
|
||||
expldot
|
||||
powerset
|
||||
reduccmp
|
||||
reductgba
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue