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
path: root/docs
diff options
context:
space:
mode:
authorRaja R Harinath <harinath@hurrynot.org>2010-07-28 17:47:33 +0400
committerRaja R Harinath <harinath@hurrynot.org>2010-07-28 17:47:33 +0400
commite4703ee792e69f581850bc610674205e577882dc (patch)
tree3eed3cc0980880eade087163b7c44a1be7e9f90e /docs
parente5f5af3844983f2784d9f8634a2e4965e320a860 (diff)
Add a few .gitignore entries to reduce noise
Diffstat (limited to 'docs')
-rw-r--r--docs/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore
index 04ae490d561..1be487d448d 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -8,3 +8,4 @@
/mono-file-formats.zip
/mono-tools.tree
/mono-tools.zip
+/AgilityPack.dll*