diff options
| author | Christoph (Sheogorath) Kern | 2018-10-05 22:21:01 +0200 |
|---|---|---|
| committer | GitHub | 2018-10-05 22:21:01 +0200 |
| commit | 32af96aa376576d060e16a2c0ff7ed5719d24e91 (patch) | |
| tree | 16fe3f008e22d79a0f55af4357850c3ad24f2345 /public/vendor/ot/undo-manager.js | |
| parent | f186f733736a1e73fece235ef4952de7b703ec6c (diff) | |
| parent | 61e240192e3ab7e02cb59115e10343da03f18951 (diff) | |
Merge pull request #940 from WilliButz/fix-configurable-paths
enhance configurabiltiy of paths & make execution path-independent
Diffstat (limited to 'public/vendor/ot/undo-manager.js')
0 files changed, 0 insertions, 0 deletions