diff options
| author | Philipp Erhardt <Philipp.Erhardt@informatik.stud.uni-erlangen.de> | 2020-10-19 20:40:11 +0200 |
|---|---|---|
| committer | Christoph Egger <christoph@debian.org> | 2021-03-20 17:40:23 +0100 |
| commit | 11648102e73ceaf4a503e84e66b70f97babd7190 (patch) | |
| tree | 0c0957e12d1cea224ca94ec69f9c241b9229327f | |
| parent | f6f65685c72362eb48f9847de3647e8aa47e03be (diff) | |
[PATCH 3/5] Update URLs in man page
Gbp-Pq: Name 0003-Update-URLs-in-man-page.patch
| -rw-r--r-- | doc/katarakt.txt | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/katarakt.txt b/doc/katarakt.txt index 9e6a1a9..7a97b0d 100644 --- a/doc/katarakt.txt +++ b/doc/katarakt.txt @@ -249,6 +249,4 @@ AUTHOR RESOURCES --------- -Gitweb: <http://git.cs.fau.de/?p=katarakt> - -Homepage: <http://git.cs.fau.de/~go18gomu/katarakt/> +GitLab: <https://gitlab.cs.fau.de/Qui_Sum/katarakt> |