diff options
| author | Michael Muré <batolettre@gmail.com> | 2022-11-20 15:10:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-20 15:10:48 +0100 |
| commit | 231755e02f023af92dca634fa08aad690e91f168 (patch) | |
| tree | 0f3c50b00ae0aee3aa85f57d1b5ddc499113890a /commands/execenv | |
| parent | 3c0fcb745634d28138a6a3d220d59e5766198061 (diff) | |
| parent | 61c9f4015c3fc1e646d49ac3c9876d07695d684f (diff) | |
| download | git-bug-231755e02f023af92dca634fa08aad690e91f168.tar.gz | |
Merge pull request #919 from MichaelMure/pack-webui
webui: pack into binary
Diffstat (limited to 'commands/execenv')
0 files changed, 0 insertions, 0 deletions