Viewing all changes in revision 176.
- Committer: Jiri Srba
- Date: 2017-05-08 11:11:57 UTC
- Revision ID: srba.jiri@gmail.com-20170508111157-cjk6jn47ukc1exdf
updated competition scripts to kill all processes when received termination signal
expand all
collapse all
added
removed
