From a920e368b87f24e95b015eb091e1112c378c2939 Mon Sep 17 00:00:00 2001 From: Oliver Kiddle Date: Wed, 11 Oct 2023 00:37:35 +0200 Subject: unposted (cf. 52166): remove obsolete helper for svk --- Functions/Misc/run-help-svk | 1 - 1 file changed, 1 deletion(-) delete mode 100644 Functions/Misc/run-help-svk (limited to 'Functions/Misc/run-help-svk') diff --git a/Functions/Misc/run-help-svk b/Functions/Misc/run-help-svk deleted file mode 100644 index 782538246..000000000 --- a/Functions/Misc/run-help-svk +++ /dev/null @@ -1 +0,0 @@ -svk help $1 | ${=PAGER:-more} -- cgit 1.4.1