Pepe Iborra 30a46e8a18 Avoid calling kick explicitly (#904) ... * Avoid calling kick explicitly Leverages that rules are rerun by shakeRunDatabase. Allows users of ghcide as a library to use their own kick * Tweak doc comment		2020-11-12 19:18:21 +00:00
..
Session	Move session loading logic into ghcide library (#697)	2020-07-27 09:10:25 +02:00
Session.hs	Avoid calling kick explicitly (#904)	2020-11-12 19:18:21 +00:00