diff options
-rw-r--r-- | .gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 54f6fb192..f19a4f202 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,16 @@ *.o +*.orig +*.rej +*.exe +*.dmg +*.patch +*.xml +!dives/*.xml +*~ /subsurface .dep/ share/ +Documentation/user-manual.pdf +Documentation/user-manual.html +packaging/windows/subsurface.nsi +packaging/macos/Info.plist |