5 Commits

Author	SHA1	Message	Date
Jarno Rantanen	68b9e5bc4a	Add section about 2.1 testing to verified-models doc.	2019-04-10 13:51:40 +03:00
Jarno Rantanen	b3bcf63343	Add section about 2.1 testing to verified-models doc.	2019-04-10 13:46:13 +03:00
Jarno Rantanen	86aff645dc	Use Prettier to format the Markdown.	2018-11-07 10:37:52 +02:00
Jarno Rantanen	783da796c7	Update verified models.	2018-08-17 13:25:09 +03:00
Jarno Rantanen	1615244c57	Collect some files under docs/.	2018-08-17 13:13:11 +03:00