diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2023-10-20 09:27:37 +0200 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2023-10-20 09:27:37 +0200 |
| commit | 68d66eaed65a35bba5c2fcfb132d797d91ef48fe (patch) | |
| tree | f44d1453c31fc14cb3208a9c5472b0422eff7970 /doc/tutorial/just-execute.org | |
| parent | 4ef74caa5d96471d058bd1c9542d79ad58538da7 (diff) | |
| download | justbuild-68d66eaed65a35bba5c2fcfb132d797d91ef48fe.tar.gz | |
with_serve_test_runner.py: terminate serve process at the end
Diffstat (limited to 'doc/tutorial/just-execute.org')
0 files changed, 0 insertions, 0 deletions