Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
make sure Swat gets "Ctrl+C" on Linux. I don't quite understand the s…
…olution but it does work ;-)
- Loading branch information