Michael Fraenkel f07f5a4cc3 Generated code

2017-02-01 18:03:47 -07:00

..

definitions.html

checking-in generated code

2017-01-25 22:05:21 +01:00

definitions.md

Remove 'this is HEAD' warning on docs

2016-10-26 00:06:59 +02:00

operations.html

Generated code

2017-02-01 18:03:47 -07:00

operations.md

Remove 'this is HEAD' warning on docs

2016-10-26 00:06:59 +02:00