diff options
author | 2013-06-10 19:43:07 +0000 | |
---|---|---|
committer | 2013-06-10 19:43:07 +0000 | |
commit | eaa70fc199573e802df85cd2e792a9fa63da7a57 (patch) | |
tree | 304afb4d317141ca88a4cb8aac34b9e15fd7a704 /.gitignore | |
parent | 603f354635230221498ddac8bbcc47c066f9677d (diff) |
reverted ignored files, they were removed by the previous patch but I don't know why. (nw)
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index e18d344b67e..cc36d4f8268 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,7 @@ +/*.exe +/*.map +/*.pdb +/*.sym /obj src/regtests/chdman/temp src/regtests/jedutil/output |