6 Commits

Author	SHA1	Message	Date
rtldg	ba5ad21661	add tas settings menu & missing autojump natives	2022-01-02 15:40:59 +00:00
rtldg	794c379bf2	add menu parameter to Shavit_OnCheckpointMenuMade	2022-01-02 06:42:48 +00:00
rtldg	b54de50c1a	mess with some #include's and include-guards	2021-10-25 13:01:38 +00:00
rtldg	966ceea5f8	finish splitting shavit.inc	2021-10-18 07:22:50 +00:00
rtldg	f0908643f6	finish moving checkpoint stuff	2021-10-09 09:17:58 +00:00
rtldg	96496f14ba	move most checkpoint stuff out of misc and into shavit-checkpoints	2021-10-09 05:40:33 +00:00