Christoph Blecker ac86803a74 Remove docs/ other than auto generated		2017-06-01 23:10:47 -07:00
..
definitions.html	generated files	2017-05-31 13:06:39 -07:00
operations.html	Generated changes	2017-05-25 00:17:08 -04:00