154 Commits

Author	SHA1	Message	Date
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