3 Commits

Author	SHA1	Message	Date
rtldg	ef3ca621c4	add more contributors & copyright attributions. mostly done via git blame but also it's also likely i missed some people.	2022-05-25 11:43:57 +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