media/borgend.png@31227feaa05a
media/borgend.png
Wed, 02 Feb 2022 11:46:05 +0200
- author
- Tuomo Valkonen <tuomov@iki.fi>
- date
- Wed, 02 Feb 2022 11:46:05 +0200
- changeset 144
- 31227feaa05a
- parent 126
-
cf4e7b6f5f5e
- permissions
- -rw-r--r--
Workaround to refresh timer loops on some configurations