Merge pull request #2844 from radical/assign-proj-config

[mono.git] / scripts / .gitignore

diff --git a/scripts/.gitignore b/scripts/.gitignore
index 4fe9ef0221dace7ea2fa853f82a252d4c1a6cded..a036cf1f8dbc283329b0c3c07ec21baf97d9f750 100644 (file)
--- a/scripts/.gitignore
+++ b/scripts/.gitignore
@@ -3,6 +3,7 @@
 /al1
 /al2
 /caspol
+/cert-sync
 /cert2spc
 /certmgr
 /cccheck
@@ -24,6 +25,7 @@
 /genxs2
 /gmcs
 /httpcfg
+/ikdasm
 /ilasm
 /ilasm1
 /ilasm2
@@ -48,6 +50,7 @@
 /mono-abi-info
 /mono-api-diff
 /mono-api-info
+/mono-api-html
 /mono-api-info1
 /mono-api-info2
 /mono-cil-strip
@@ -63,6 +66,7 @@
 /mono-service
 /mono-service2
 /mono-shlib-cop
+/mono-symbolicate
 /mono-xmltool
 /mozroots
 /nunit-console