search

jyp / dante

389 stars 52 forks source link

Fix detection whether buffer has not changed since last ghci load #169

Closed sergv closed 1 year ago

sergv commented 1 year ago

Possible fix for #168.