diff options
author | ancarola <raffaele.ancarola@epfl.ch> | 2019-01-23 15:07:33 +0100 |
---|---|---|
committer | ancarola <raffaele.ancarola@epfl.ch> | 2019-01-23 15:07:33 +0100 |
commit | 8443d3d03573066ab884dae0f7bc8dbbabf106b5 (patch) | |
tree | a81f054b62ec9a5c18ca9a8275a94416512c9fa1 /engine/include/serial | |
parent | signal opt (diff) | |
parent | Make job hold RAII pointers that can expire, update test (diff) | |
download | flatland-8443d3d03573066ab884dae0f7bc8dbbabf106b5.tar.gz flatland-8443d3d03573066ab884dae0f7bc8dbbabf106b5.zip |
Merge remote-tracking branch 'nao/raii-task'
Ci siamo
Diffstat (limited to 'engine/include/serial')
0 files changed, 0 insertions, 0 deletions