Results 1 issues of Stephane Rolland

It took me a long time to find out why I thought vim-idris was not working although the plugin was loaded: - In vim I've configured my LeaderKey as Space!...