Gary Verhaegen 99ea93168d update copyright notices (#2499)		2019-08-13 17:23:03 +01:00
..
ci/jenkins	update copyright notices (#2499)	2019-08-13 17:23:03 +01:00
template-desugaring.md	New template desugaring (#2178)	2019-07-30 19:49:33 -04:00
working-on-ghc-lib.md	remove mentions of da-int servers (#2485)	2019-08-12 10:42:41 +01:00