diff options
| author | Michael Muré <batolettre@gmail.com> | 2020-06-28 19:09:32 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2020-06-28 19:09:32 +0200 |
| commit | 536c290dfbe6e0741c56f33659563c528c9f09b1 (patch) | |
| tree | 79ea46f76ac6f69c2e6cbf3323be7c620c39a510 /webui | |
| parent | 26bd1dd11010b4d86cebe2510ad7085a6b316334 (diff) | |
| download | git-bug-536c290dfbe6e0741c56f33659563c528c9f09b1.tar.gz | |
commands: open and close the backend in a single place, simplify commands
Diffstat (limited to 'webui')
0 files changed, 0 insertions, 0 deletions