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:
Diffstat (limited to 'mono/mini/.gitignore')
-rw-r--r--mono/mini/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/mono/mini/.gitignore b/mono/mini/.gitignore
index 5f3ea84517a..35168cf85e1 100644
--- a/mono/mini/.gitignore
+++ b/mono/mini/.gitignore
@@ -32,4 +32,5 @@
/buildver.h
/TAGS
/mono-sgen
+/buildver-sgen.h