diff options
| author | Michael Muré <batolettre@gmail.com> | 2023-03-04 14:43:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-04 14:43:34 +0100 |
| commit | 852380f2212a41342cb5440d13cf723ae50b61ea (patch) | |
| tree | 8a56d5666bd62851dfc6ddce0411d698127d915e /util | |
| parent | a1015493875963d75b3ca24caa31a2b65203309e (diff) | |
| parent | a9697c7a4761693b05da21cdad364304cb020e0c (diff) | |
| download | git-bug-852380f2212a41342cb5440d13cf723ae50b61ea.tar.gz | |
Merge pull request #1028 from MichaelMure/fix-tools
tools: fix how security tools are setup and launched
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions