--- a/docs/src/header.html Sun Dec 15 16:22:08 2019 +0100 +++ b/docs/src/header.html Sun Dec 15 16:54:05 2019 +0100 @@ -59,6 +59,7 @@ <li><a href="delete-conflicts.html">delete-conflicts</a></li> <li><a href="trash-info.html">trash-info</a></li> <li><a href="empty-trash.html">empty-trash</a></li> + <li><a href="list-versions.html">list-versions</a></li> <li><a href="add-tag.html">add-tag</a></li> <li><a href="remove-tag.html">remove-tag</a></li> <li><a href="set-tags.html">set-tags</a></li>