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: api changes	2017-05-18 10:07:47 -04:00
operations.md	Remove 'this is HEAD' warning on docs	2016-10-26 00:06:59 +02:00