diff options
| author | Vincent Ambo <mail@tazj.in> | 2018-09-12T09·38+0200 |
|---|---|---|
| committer | Vincent Ambo <github@tazj.in> | 2019-02-10T20·43+0100 |
| commit | ee143eaf147847eada08207c8f72eb04dc834ed5 (patch) | |
| tree | 9afc9e7faf55ea9626135b83c6a6abea3812c003 /init.el | |
| parent | bab9f15a33ae85a685a766e74e57df3ade467274 (diff) | |
fix: Run GHCi-workaround /after/ switching to REPL buffer
This simply changes the advice position. This way around makes more sense in case that the REPL is just being started up.
Diffstat (limited to 'init.el')
0 files changed, 0 insertions, 0 deletions