dav: File revisions

docs/src/header.html

2017-07-11	Olaf Wintermann	more documentation	file \| diff \| annotate
2017-07-09	Olaf Wintermann	adds documentation for most dav commands	file \| diff \| annotate

(0) tip