56 Commits

Author	SHA1	Message	Date
rtldg	1140769b62	fix the replay recording after splitting up the files	2021-10-08 10:08:04 +00:00
rtldg	2e579b82ef	move styles loaded forward	2021-10-08 09:54:11 +00:00
rtldg	a0bf3b65e9	move style settings into own file	2021-10-08 09:04:45 +00:00
rtldg	24337ba172	use .inc for shavit-replay-stocks	2021-10-07 20:09:30 +00:00
rtldg	4ad6706b47	fix some shavit-replay errors	2021-10-07 20:05:55 +00:00
rtldg	cb3aad5ab4	initial commit for reorganization effort	2021-10-07 19:01:00 +00:00