Simon Michael 50bf401ea6 dev: split debug/ghcdebug flags, comment out the latter for now ... Compilation with ghc-debug is failing, and it has not yet been used for anything. Separate the flag and leave it in place but commented for now.		2024-10-24 10:44:28 -10:00
..
UI	dev: split debug/ghcdebug flags, comment out the latter for now	2024-10-24 10:44:28 -10:00
UI.hs	;doc: main module haddock cleanups	2023-10-04 10:03:35 +01:00