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

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Hutchinson <mhutchinson@novell.com>2011-03-25 23:53:02 +0300
committerMichael Hutchinson <mhutchinson@novell.com>2011-03-26 00:00:28 +0300
commitcc1d9945c458da81df9368732c1fefe330e4761d (patch)
treea914059d1f3f7c6c837dfb872852484d5b2fb4cb /.gitignore
parent0a56e647ab9d7a32f060957d5071d8297a52c3f9 (diff)
More thorough mdrun->mdtool rename
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 8f0876700d..9457b30063 100644
--- a/.gitignore
+++ b/.gitignore
@@ -122,7 +122,7 @@ autom4te.cache/
/main/src/tools/SharpCoco/Makefile
/main/src/tools/mdhost/Makefile
/main/src/tools/mdmonitor/Makefile
-/main/src/tools/mdrun/Makefile
+/main/src/tools/mdtool/Makefile
/main/tests/Makefile
/main/tests/UnitTests/Makefile
/main/theme-icons/Makefile