diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-05-26 07:58:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-26 07:58:13 +0200 |
commit | ef66f8451ca7b5b98628924231a92e558930c53e (patch) | |
tree | 47880a191ca3fd0c95e818fd7d810ff907ea2d9d /core | |
parent | d197cd4705b51c792a65df9f4dc87466375ed21d (diff) | |
parent | 42de893f9a4ded4dfe5eef8dd8b1619b84a2cdb0 (diff) |
Merge pull request #8901 from tagcup/path_editor_plugin
Revive PathEditorPlugin.
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions