diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-08-12 21:09:30 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-08-12 21:09:30 +0200 |
| commit | e2f4b027c946831c3f4f119d87a80513c7cf8fdc (patch) | |
| tree | b2ec57c89c49062ab2e8adeacb2646d2f152db80 /webui | |
| parent | 721ed3248e8bf167a89df14d9fc2bf5b0fe45753 (diff) | |
| download | git-bug-e2f4b027c946831c3f4f119d87a80513c7cf8fdc.tar.gz | |
termui: implement push/pull
Diffstat (limited to 'webui')
0 files changed, 0 insertions, 0 deletions