Create a PATCH.TXT with "git diff" and include in the deplopment

This allows us to track what the differences are to the git version
We also include it into .gitignore.
This commit is contained in:
Douglas Clowes
2014-09-05 15:29:25 +10:00
parent 55a0055bd3
commit fb0f746b96
3 changed files with 8 additions and 0 deletions

1
.gitignore vendored
View File

@@ -1,5 +1,6 @@
SICServer
made_config.h
PATCH.TXT
*.aux
*.pdf
*.sw[op]