Dr. Stefan Schimanski 2dff13f332 Update generated files

2016-12-05 12:42:31 +01:00

..

definitions.html

Update generated files

2016-12-05 12:42:31 +01:00

definitions.md

Remove 'this is HEAD' warning on docs

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

operations.html

Regenerate autogenerated files

2016-12-05 09:18:57 +01:00

operations.md

Remove 'this is HEAD' warning on docs

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