diff --git a/.gitignore b/.gitignore index 28cdacd3c..4ef28dd50 100644 --- a/.gitignore +++ b/.gitignore @@ -8,3 +8,4 @@ bin/ *.toc build docs/ +RELEASE.txt