| .. |
|
__main__.json
|
b61fbbead3
Update powerline config to work with latest powerline
|
11 years ago |
|
cmdwin.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
|
default.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
|
help.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
|
plugin_commandt.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
|
plugin_gundo-preview.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
|
plugin_gundo.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
|
plugin_nerdtree.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
|
quickfix.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
|
tabline.json
|
58fdf0de02
Update submodules, remove unnecessary files
|
10 years ago |
Weiyi Lou
58fdf0de02
Update submodules, remove unnecessary files