diff options
| author | Ivan Zuzak <izuzak@gmail.com> | 2013-10-06 14:40:01 +0200 |
|---|---|---|
| committer | Ivan Zuzak <izuzak@gmail.com> | 2013-10-06 14:40:01 +0200 |
| commit | f0dde55c6bd9e152a02e0a993a4ae14d9f666a34 (patch) | |
| tree | edd6ea16ce432a92820b2c6b46e43d115ad74da8 /Coq.gitignore | |
| parent | 060aed8a931f0f085f32293b36c357bc9bb3b969 (diff) | |
| download | gitignore-f0dde55c6bd9e152a02e0a993a4ae14d9f666a34.tar.gz gitignore-f0dde55c6bd9e152a02e0a993a4ae14d9f666a34.zip | |
ensure single trailing newline
Diffstat (limited to 'Coq.gitignore')
| -rw-r--r-- | Coq.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Coq.gitignore b/Coq.gitignore index 769bc36c..d3083b3a 100644 --- a/Coq.gitignore +++ b/Coq.gitignore @@ -1,4 +1,3 @@ *.vo *.glob *.v.d - |