diff -r 36333e8a9411 -r 9505224d2fd2 docs/src/index.html --- a/docs/src/index.html Sun Jun 03 12:02:31 2018 +0200 +++ b/docs/src/index.html Sun Jun 03 12:03:04 2018 +0200 @@ -26,7 +26,8 @@
  • remove
  • copy
  • move
  • -
  • get-property
  • +
  • export
  • +
  • import
  • set-property
  • remove-property
  • lock
  • @@ -34,6 +35,7 @@
  • info
  • date
  • add-repository
  • +
  • remove-repository
  • list-repositories
  • check-config
  • @@ -49,10 +51,15 @@