diff options
| author | Noémi Ványi <kvch@users.noreply.github.com> | 2020-10-31 16:51:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-31 16:51:20 +0100 |
| commit | d553de4909310fbd6666b58edb00c2777c928235 (patch) | |
| tree | c15e191d5421d411a32d6a40822a68e767edaccf /docs | |
| parent | e697d78d5a907014252df9aec79d981b800aac91 (diff) | |
| parent | 4a15d675d5478c1d350335e106879622c541f3c2 (diff) | |
Merge pull request #2287 from return42/fix-make-run
[fix] make.run - use SEARX_DEBUG=1 instead of modifing settings.yml
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions