ppm-etp ppx-plugin-manager用のプラグインです。 Everything Search Module(ETP)の設定と、Everythingを利用した一行編集上での パス補完、Whereisの設定を追加します。 別途Everythingが必要になります。 インストール _pluginlist remote 'tar80/ppm-etp'