diff options
| author | Michael Muré <batolettre@gmail.com> | 2022-05-31 20:16:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-31 20:16:15 +0200 |
| commit | d94df634667146ff854c6da04c5f22bd513c3612 (patch) | |
| tree | 8c8eedcf02c5a86222c62b16ccb8e27fd6b464b0 /webui | |
| parent | 650c11dcb68bfe00e2d399c5e1d337cae9c1bfeb (diff) | |
| parent | c732a18ac2b6ea3d09e5c72660ffcf9687ebb9db (diff) | |
| download | git-bug-d94df634667146ff854c6da04c5f22bd513c3612.tar.gz | |
Merge pull request #805 from MichaelMure/completion-cleanup
misc: move all completions in a dedicated folder
Diffstat (limited to 'webui')
0 files changed, 0 insertions, 0 deletions