diff options
| author | reduz <reduzio@gmail.com> | 2014-02-18 18:18:11 -0200 |
|---|---|---|
| committer | reduz <reduzio@gmail.com> | 2014-02-18 18:18:11 -0200 |
| commit | 2bfbf8978189ed8d785d7f707ad573ce2a2bf2a7 (patch) | |
| tree | 68b6f013de84beffb6121ee94981e7a320eee77c /servers | |
| parent | f0e6ed1c263687ea8d5dd2c7c917a44cb1967a5d (diff) | |
| parent | dba66e0286ca54f13366df6e16a01e70a3e811bf (diff) | |
Merge pull request #111 from vinzenz/obsolete-editor-plugin-removal
Removal of obsolete editor plugins Fixes #64
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions