patrick
/
odin_editor
mirror of https://github.com/pcleavelin/odin_editor.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
odin_editor/plugins
History
Patrick Cleavelin 322c524158 ayo, grep is now a plugin (still a lot of jank in the plugin API tho) 2024-01-15 19:39:43 -06:00
..
buffer_search ayo, grep is now a plugin (still a lot of jank in the plugin API tho) 2024-01-15 19:39:43 -06:00
grep ayo, grep is now a plugin (still a lot of jank in the plugin API tho) 2024-01-15 19:39:43 -06:00
highlighter/src ayo, grep is now a plugin (still a lot of jank in the plugin API tho) 2024-01-15 19:39:43 -06:00