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-08-10 23:25:01 +0400
committerMichael Hutchinson <m.j.hutchinson@gmail.com>2013-08-10 23:25:01 +0400
commit4efd1ce9d92db79aa00c6458e9e4f23ed5656b85 (patch)
tree82067283159f3dcec6b8457c4152d90e4e1956f6 /main/monodevelop-core-addins.pc.in
parentfdab499af86a9aff473f29c227562429dc3cbfff (diff)
Consistently optimize release configs, and not debug configs
Diffstat (limited to 'main/monodevelop-core-addins.pc.in')
0 files changed, 0 insertions, 0 deletions