w0rp 883978ece9 #2132 - Replace all uses of foo_callback with foo

2019-02-22 18:05:04 +00:00

..

idris.vim

#2132 - Replace all uses of foo_callback with foo

2019-02-22 18:05:04 +00:00