diff options
| author | stijn <stijn@ignitron.net> | 2023-08-24 13:15:23 +0200 |
|---|---|---|
| committer | stijn <stijn@ignitron.net> | 2024-01-10 11:34:09 +0100 |
| commit | 88d21f186bc8ca9ef9728a36f5ca27731f2d86bc (patch) | |
| tree | 57413bd23cab9e647b16360d6fed24dc69a56f27 /docs/develop | |
| parent | ba4330ba102ac1d61e2e0e29ad2c2f361b9109c0 (diff) | |
tests/run-tests.py: Make repl test detection more correct.
Avoid unrelated tests which happen to have "repl_" anywhere
in their path to be treated as repl tests.
Signed-off-by: stijn <stijn@ignitron.net>
Diffstat (limited to 'docs/develop')
0 files changed, 0 insertions, 0 deletions