diff -r 8ca795c1ae1c -r 60edf3d679fd docs/src/header.html --- a/docs/src/header.html Fri Dec 06 09:24:45 2019 +0100 +++ b/docs/src/header.html Fri Dec 06 09:47:19 2019 +0100 @@ -15,6 +15,7 @@
  • remove
  • copy
  • move
  • +
  • rename
  • export
  • import
  • get-property
  • @@ -24,9 +25,19 @@
  • unlock
  • info
  • date
  • +
  • versioncontrol
  • +
  • list-versions
  • +
  • checkout
  • +
  • checkin
  • +
  • uncheckout
  • add-repository
  • remove-repository
  • list-repositories
  • +
  • repository-url
  • +
  • add-user
  • +
  • remove-user
  • +
  • edit-user
  • +
  • list-users
  • check-config
  • Configuration
  • @@ -42,7 +53,8 @@
  • pull
  • push
  • archive
  • -
  • list-conflicts
  • +
  • restore
  • +
  • list-conflicts
  • resolve-conflicts
  • delete-conflicts
  • trash-info