From ae25291ff34a3356abcb3cc5ffd3b0a7a1065a4c Mon Sep 17 00:00:00 2001 From: Gary Ewan Park Date: Wed, 23 Aug 2023 13:55:05 +0100 Subject: [PATCH] (build) Let's try that again with a doc change... --- docs/input/docs/index.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs/input/docs/index.md b/docs/input/docs/index.md index 850255fa..8bacc7b6 100644 --- a/docs/input/docs/index.md +++ b/docs/input/docs/index.md @@ -10,6 +10,4 @@ then used to create a Release on GitHub. In addition to creating a Release, GitReleaseManager can be used to publish a release, close a milestone, and also to export the complete set of release notes -for your application/product. - -Another build test... \ No newline at end of file +for your application/product. \ No newline at end of file