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/version.h | |
| parent | d197cd4705b51c792a65df9f4dc87466375ed21d (diff) | |
| parent | 42de893f9a4ded4dfe5eef8dd8b1619b84a2cdb0 (diff) | |
Merge pull request #8901 from tagcup/path_editor_plugin
Revive PathEditorPlugin.
Diffstat (limited to 'core/version.h')
0 files changed, 0 insertions, 0 deletions