ghcide/src/Development
Guru Devanla 36c182cbc4
Strip prefixes from labels (#960)
* Strip prefixes from labels

* Remove redundant parens
2020-12-27 10:03:42 +00:00
..
IDE Strip prefixes from labels (#960) 2020-12-27 10:03:42 +00:00
IDE.hs Fix diagnostics update bug (#959) 2020-12-21 06:06:51 +00:00