diff options
author | Andrés G. Aragoneses <knocte@gmail.com> | 2010-08-23 00:36:40 +0400 |
---|---|---|
committer | Gonzalo Paniagua Javier <gonzalo.mono@gmail.com> | 2010-08-23 18:42:30 +0400 |
commit | 744d29e756217c768cb7e539bdd9dc6f6aec5ecb (patch) | |
tree | 07b06d8a1123070e21e4c73f1391053eb4212d01 /scripts/.gitignore | |
parent | 90c3c6a594728c0e1a1c21a7380b0848752fd4f2 (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/.gitignore | 1 |
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 |