diff options
| author | David Mehren | 2020-11-13 17:17:17 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-13 17:17:17 +0100 |
| commit | 7560943a44330acca36b5f95a612efe351b5345d (patch) | |
| tree | 40987d49aca63a0e440c3f50d4f8182ec5de79a2 /public/vendor/ot/undo-manager.js | |
| parent | e191bde0138c873958937768f41e76e06ad61ae3 (diff) | |
| parent | 47427a1b88546f9bb0c27b0c6ab76fcae82fa1c7 (diff) | |
Merge pull request #499 from pierreozoux/convenience-script
Adds convenience script to migrate to minio.
Diffstat (limited to 'public/vendor/ot/undo-manager.js')
0 files changed, 0 insertions, 0 deletions