diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-09-27 22:45:52 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-09-27 22:45:52 +0200 |
commit | 6a930a85b6525498e66e43b5e69a27e1c8d87718 (patch) | |
tree | 7163e2fcaa68c2ecb05876a32aac1ea493eef694 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/.gitignore | |
parent | PS with outgoing references to excluded objects are supported now (diff) | |
download | VIATRA-Generator-6a930a85b6525498e66e43b5e69a27e1c8d87718.tar.gz VIATRA-Generator-6a930a85b6525498e66e43b5e69a27e1c8d87718.tar.zst VIATRA-Generator-6a930a85b6525498e66e43b5e69a27e1c8d87718.zip |
Set thread stop signal to volatile
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/.gitignore')
0 files changed, 0 insertions, 0 deletions