Skip to content

delete GHCi.UI.Tags module and remove remaining references

Context: #19884 (closed)

This merge request marks the final phase in the deprecation of ctags and etags in GHCi.

CC: @bgamari, @Kleidukos

Merge request reports