Edward Litherland-Smith daa10cd4f3 Add monokai_pro theme, move themes to better place		2021-02-12 15:18:00 +00:00
..
plugins/start	Add jedi plugin for python file completion	2021-02-04 15:39:00 +00:00