Pt 164460201 generate fate dispatch #135

Merged

zxq9 merged 4 commits from PT-164460201-generate-fate-dispatch into master 2019-03-14 18:48:11 +09:00

Conversation 4 Commits 4 Files Changed 1 +7 -5

4 Commits

Author	SHA1	Message	Date
Erik Stenman	262ba1e1af	Merge branch 'fortuna' into PT-164460201-generate-fate-dispatch	2019-03-08 08:00:50 +01:00
Erik Stenman	2b5478288c	Export ops definitions.	2019-03-07 12:36:53 +01:00
Erik Stenman	f2930ae169	Test lists of length 16.	2019-03-07 11:10:25 +01:00
Erik Stenman	6d2be99c63	Generate docs.	2019-03-07 11:09:04 +01:00