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
..
2022-05-29 03:23:02 +02:00
2022-11-12 03:02:54 +01:00
2022-11-05 23:30:26 +01:00
2022-05-29 03:23:02 +02:00
2022-11-12 03:02:54 +01:00
2023-09-19 00:42:46 +02:00
2021-07-10 14:42:10 +02:00
2022-11-12 03:02:54 +01:00
2023-11-04 21:38:36 +01:00
2023-08-22 15:57:50 +02:00
2023-08-29 11:32:52 +02:00
2021-05-30 23:09:54 +02:00
2022-05-29 03:23:02 +02:00
2021-08-27 11:41:06 +02:00
2023-12-04 20:06:11 +01:00
2023-01-31 10:42:01 +01:00