Dongjia "toka" Zhang fad59987d9
Better SigInt handler (#1710)
* fix simd

* better exit

* chg

* more

* more

* use

* change to proper name

* w

* aaaaaaa

* delete

* just separate them

* shell check
2023-12-04 20:06:11 +01:00
..
2021-07-10 14:42:10 +02:00
2021-08-27 11:41:06 +02:00
2023-01-31 10:42:01 +01:00