]> rtime.felk.cvut.cz Git - ert_linux.git/commitdiff
Support also single-tasking mode
authorMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 23 Jul 2013 11:57:11 +0000 (13:57 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 23 Jul 2013 11:57:11 +0000 (13:57 +0200)

No differences found