Moritz Kiefer 2bd8b36571 Remove ghc-lib jenkins config (#3824) ... We’ve switched off jenkins for ghc-lib ages ago so there is no point in keeping the old config around.		2019-12-11 19:27:44 +01:00
..
template-desugaring.md	Simplify template desugaring (#3670)	2019-11-29 16:13:15 +01:00
working-on-ghc-lib.md	Document how to iterate on changes to template desugaring (#3663)	2019-11-28 16:33:24 +01:00