Oliver Schmidt
e3ca14116d
Disable double hires on exit.
A program being run afterwards might not even know about the existence of double hires. So it's our task to turn double hires off on exit.
2022-01-31 19:32:44 +01:00
..
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2022-01-31 19:32:44 +01:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2022-01-30 19:51:05 +01:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00
2020-09-29 19:14:46 +02:00