Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Baulig <mabaul@microsoft.com>2017-08-15 20:25:00 +0300
committerMartin Baulig <mabaul@microsoft.com>2017-08-15 20:25:00 +0300
commit83020f1270ecbdfcbdf02cee687beadcba7c89ae (patch)
tree736c93d0629ea0a8d5fab04d54ecb9d614d69037 /scripts
parent9b8bb0edbef4f3e3f8dda52965c42307caf0f888 (diff)
Add scripts/csi to .gitignore.
Diffstat (limited to 'scripts')
-rw-r--r--scripts/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/.gitignore b/scripts/.gitignore
index f7f8b3fe0e2..0c479324de9 100644
--- a/scripts/.gitignore
+++ b/scripts/.gitignore
@@ -11,6 +11,7 @@
/chktrust
/cilc
/crlupdate
+/csi
/csharp
/csharp2
/disco