diff options
| author | Damien George <damien.p.george@gmail.com> | 2016-12-20 15:13:49 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2016-12-20 15:13:49 +1100 |
| commit | 1e7a801e2d304b3e290b82de49c99790351f84d0 (patch) | |
| tree | fc723a44e668971b1999a47db04c6e4925453718 /py/misc.h | |
| parent | 7bbce4e213c273d95b30519148bf41182b489247 (diff) | |
tests/run-tests: For REPL tests make sure the REPL is exited at the end.
Diffstat (limited to 'py/misc.h')
0 files changed, 0 insertions, 0 deletions