Release monodevelop-7.7.0.768: Merge pull request #5503 from mono/fix-600282 · mono/monodevelop · GitHub

This repository has been archived by the owner on Oct 4, 2021. It is now read-only.

monodevelop-7.7.0.768
3f57245
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode
Compare

Choose a tag to compare

View all tags

monodevelop-7.7.0.768: Merge pull request #5503 from mono/fix-600282

monodevelop-7.7.0.768
3f57245
Compare

Choose a tag to compare

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode

nosami tagged this 30 Jul 10:33

Adjust the position of the completion window for F#...

Assets 2

Source code (zip)

2018-07-30T10:33:35Z
Source code (tar.gz)

2018-07-30T10:33:35Z