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:
authortherzok <marius.ungureanu@xamarin.com>2019-10-20 04:27:20 +0300
committertherzok <marius.ungureanu@xamarin.com>2019-10-20 07:11:12 +0300
commitada465e966113186b0dbc0631ae0e4a3d03a2927 (patch)
tree92ef955c04ea8cbe8bd86599ce533e9dbddb96b1 /main/src/addins/MonoDevelop.SourceEditor2
parent2cdb7f3133bee0cc5ea2d87643414700fa604d50 (diff)
Add platform properties for each OS platform
Diffstat (limited to 'main/src/addins/MonoDevelop.SourceEditor2')
0 files changed, 0 insertions, 0 deletions