diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-14 17:57:09 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-14 17:57:09 +0200 |
| commit | 520420556ad9f2871cd8c5910645193508cb4082 (patch) | |
| tree | 08efd34b6c9d3cc071b6c5345b213ec9f7f59dd5 /.gitignore | |
| parent | 7ae2d8824ab59dfbda6eaf7f621b6d3bfdec56e7 (diff) | |
Use sandbox for testing Python programs
Use interpreter.py for running tests as well as interactive sessions.
Signals are now sent with "sandbox <user> kill", so terminator is not
needed anymore.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions