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:
authorAndrés G. Aragoneses <knocte@gmail.com>2010-08-23 00:36:40 +0400
committerGonzalo Paniagua Javier <gonzalo.mono@gmail.com>2010-08-23 18:42:30 +0400
commit744d29e756217c768cb7e539bdd9dc6f6aec5ecb (patch)
tree07b06d8a1123070e21e4c73f1391053eb4212d01 /scripts/.gitignore
parent90c3c6a594728c0e1a1c21a7380b0848752fd4f2 (diff)
[tools] Merge mono-abi-info tool into a "--abi" flag for mono-api-info
This commit also includes a brief (help welcome!) man page for mono-api-info that explains its usage.
Diffstat (limited to 'scripts/.gitignore')
-rw-r--r--scripts/.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/.gitignore b/scripts/.gitignore
index 88354e40b74..5c00b0dd139 100644
--- a/scripts/.gitignore
+++ b/scripts/.gitignore
@@ -43,7 +43,6 @@
/mkbundle2
/mod
/mono-api-diff
-/mono-abi-info
/mono-api-info
/mono-api-info1
/mono-api-info2