5 Commits

Author	SHA1	Message	Date
Jacob Gadikian	a9feb1c023	markdownlint (#9834) ... Co-authored-by: Sergio Mena <sergio@informal.systems>	2022-12-22 01:52:21 +01:00
samricotta	5013bc3f4a	Update to markdown links (#9384) ... * first correction of markdown links * Review updates	2022-09-08 10:31:35 +02:00
Callum Waters	49ec3b9780	chore: lint repo (use american english) (#9144)	2022-08-01 14:24:49 +02:00
Callum Waters	24f22eeb52	address discrepancies between spec and implementation (#322)	2021-07-16 12:49:15 +02:00
Marko	b270ab8d15	spec: merge rust-spec (#252)	2021-03-01 08:54:08 +00:00