diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-07-16 22:25:50 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-07-16 22:25:50 +0200 |
| commit | ead4511250deb877e1867c2e38cbee9c27deb299 (patch) | |
| tree | 09572e68634c7241eff7cb65bf94c02a6aac9a50 /repository | |
| parent | d659d74131996cea06e39f90114e21b36e61f6fc (diff) | |
| download | git-bug-ead4511250deb877e1867c2e38cbee9c27deb299.tar.gz | |
add the infrastructure for an embedded web UI + command
Diffstat (limited to 'repository')
0 files changed, 0 insertions, 0 deletions