docs: improve overview

There were and still is too many words. It's a very white paper vibe. Docs needs to be more brief, exact, and on-point. closes https://github.com/zrepl/zrepl/pull/618
2022-07-13 14:15:03 +03:00
parent 299f1c906e
commit c7771f98f5
2 changed files with 23 additions and 23 deletions
@@ -1,3 +1,5 @@
+.. _miscellaneous:
+
 Miscellaneous
 =============