From 87ade0936131003be632ceda3a1346a0aa93d9a2 Mon Sep 17 00:00:00 2001 From: Eduard Heimbuch Date: Thu, 14 Jan 2021 09:42:52 +0100 Subject: [PATCH] Fix documentation for repository export --- docs/de/user/repo/settings.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/de/user/repo/settings.md b/docs/de/user/repo/settings.md index 241db759c2..7ecd807097 100644 --- a/docs/de/user/repo/settings.md +++ b/docs/de/user/repo/settings.md @@ -20,7 +20,7 @@ Ein archiviertes Repository kann nicht mehr verändert werden. ![Repository-Settings-General-Git](assets/repository-settings-general-git.png) In dem Bereich "Repository exportieren" kann das Repository als Dump exportiert werden. -Für den Download kann zwischen einem komprimierten Archiv oder dem einfachen Dump-Format gewählt werden. +Für den Download kann zwischen einem komprimierten Dump oder dem einfachen Dump-Format gewählt werden. Diese Export-Funktion wird derzeit nur von Subversion Repositories unterstützt. ![Repository-Settings-General-Svn](assets/repository-settings-general-svn.png)