diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ cabal.project.local *.log *.lot *.fls -*.out +#*.out *.toc *.fmt *.fot |
![]() |
index : NWI-I00110-Testing-Techniques | |
Files related to NWI-I00110 Testing Techniques, autumn 2017, Radboud University Nijmegen. |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 2 |
@@ -31,7 +31,7 @@ cabal.project.local *.log *.lot *.fls -*.out +#*.out *.toc *.fmt *.fot |