Merge pull request #2894 from marek-safar/mono.security

[mono.git] / scripts / .gitignore

diff --git a/scripts/.gitignore b/scripts/.gitignore
index ff0b717d53ae071966ca6e2650a922d5f756ac48..a036cf1f8dbc283329b0c3c07ec21baf97d9f750 100644 (file)
--- a/scripts/.gitignore
+++ b/scripts/.gitignore
@@ -50,6 +50,7 @@
 /mono-abi-info
 /mono-api-diff
 /mono-api-info
+/mono-api-html
 /mono-api-info1
 /mono-api-info2
 /mono-cil-strip
@@ -65,6 +66,7 @@
 /mono-service
 /mono-service2
 /mono-shlib-cop
+/mono-symbolicate
 /mono-xmltool
 /mozroots
 /nunit-console