Christoph Blecker 1bdc7a29ae Update docs/ URLs to point to proper locations

2017-06-05 22:13:54 -07:00

..

definitions.html

Update docs/ URLs to point to proper locations

2017-06-05 22:13:54 -07:00

definitions.md

Remove 'this is HEAD' warning on docs

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

operations.html

Generated changes

2017-05-25 00:17:08 -04:00

operations.md

Remove 'this is HEAD' warning on docs

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