jvoisin 2ce1dc793e Bump the changelog		2018-08-03 22:20:24 +02:00
..
implementation_notes.md	Document in our implementation notes how revisions are handled and why	2018-07-01 23:27:24 +02:00
mat.1	Bump the changelog	2018-08-03 22:20:24 +02:00
threat_model.md	Improve the threat-model again, thanks to @joe	2018-06-20 00:10:21 +02:00