diff options
| author | Camil Staps | 2016-03-11 15:26:17 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-03-11 15:26:17 +0100 |
| commit | 09a4e4438c7a834df9b44c134cbdacc040411c59 (patch) | |
| tree | 6814454f3fc9a4170b4cce871cbb9753b969bd1e /.gitignore | |
| parent | Copyright elevator (diff) | |
Assignment 6
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -26,3 +26,7 @@ *.swp *.synctex.gz _minted-*/ + +*.pvs~ +*.prf~ + |