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:
authorVsevolod Kukol <sevoku@microsoft.com>2019-10-17 11:59:15 +0300
committerGitHub <noreply@github.com>2019-10-17 11:59:15 +0300
commit39426ef92b81fc28c28074eb8149a0cbcae6c633 (patch)
tree485422c0db823470eb49c8a6d7238b94edae281a /main/external
parent27b8e633ff8684bfaa52ecc93c2d39a02daf71ed (diff)
parentfb431afdcaff794887271173776dc7e99ef33f03 (diff)
Merge pull request #8106 from mono/master-vsts937839
Fixes VSTS Bug 937839: [Feedback] Text Editor: font weight ignored
Diffstat (limited to 'main/external')
0 files changed, 0 insertions, 0 deletions