|
common
|
Enable verbos for github api
|
2018-01-25 19:49:19 +08:00 |
|
install
|
Update travis setting (#981)
|
2017-11-22 01:27:35 -06:00 |
|
after_failure.sh
|
Use vim8
|
2018-01-25 19:49:19 +08:00 |
|
after_success.sh
|
Split dein UI as plugin (#1682)
|
2018-05-01 21:42:57 +08:00 |
|
bootstrap
|
Update chinese document (#1331)
|
2018-01-27 01:07:02 +08:00 |
|
build-production
|
Update chinese document (#1331)
|
2018-01-27 01:07:02 +08:00 |
|
detach_plugin.sh
|
Improve flygrep (#1898)
|
2018-07-09 17:16:38 +08:00 |
|
install.ps1
|
Update travis setting (#981)
|
2017-11-22 01:27:35 -06:00 |
|
install.sh
|
Update doc for disable plugins (#1951)
|
2018-07-17 21:56:29 +08:00 |
|
script.sh
|
Add lang#purescript layer (#2054)
|
2018-08-18 16:41:50 +08:00 |
|
update_remote.sh
|
Add remote manager
|
2017-10-29 22:18:59 +08:00 |
