ppx-plugin-manager用のプラグインです。
同階層の隣接するディレクトリ(仮想ディレクトリ)へ移動するキーバインドを提供します。
_pluginlist
remote 'tar80/ppm-adjacentdir'
-
Notifications
You must be signed in to change notification settings - Fork 0
tar80/ppm-adjacentdir
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Add key-bindings to move to an adjacent directory
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published