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 <m.j.hutchinson@gmail.com>2013-04-08 23:47:44 +0400
committerMichael Hutchinson <m.j.hutchinson@gmail.com>2013-04-09 02:09:52 +0400
commite7cc926d0fa0d16b67b0520bcc80c44d691038a8 (patch)
tree2d3f5ea36f1a7e11990a7455e04ae9ca3eb5a082 /main/src/core/MonoDevelop.Ide/options
parentb322e9fe461d34eed3f13ad7da4e0557ff06db0e (diff)
[Ide] Remove redundant data file
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/options')
-rw-r--r--main/src/core/MonoDevelop.Ide/options/StandardHeader.xml6
1 files changed, 0 insertions, 6 deletions
diff --git a/main/src/core/MonoDevelop.Ide/options/StandardHeader.xml b/main/src/core/MonoDevelop.Ide/options/StandardHeader.xml
deleted file mode 100644
index a8b581f04d..0000000000
--- a/main/src/core/MonoDevelop.Ide/options/StandardHeader.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<StandardHeader version="1.1"><Header> ${FileName} created with MonoDevelop
- User: ${User} at ${Time} ${Date}
-
- To change standard headers go to Edit->Preferences->Coding->Standard Headers
-</Header>
-</StandardHeader>