jedi plugin new options
jedi plugin new options

flurischt/jedi,dwillmer/jedi,tjwei/jedi,tjwei/jedi,jonashaag/jedi,mfussenegger/jedi,flurischt/jedi,dwillmer/jedi,mfussenegger/jedi,jonashaag/jedi,WoLpH/jedi,WoLpH/jedi