From a66a538c14029dd78bdea6085aad609c0ff4378c Mon Sep 17 00:00:00 2001 From: Roland Kaminski Date: Thu, 2 Nov 2023 18:10:43 +0100 Subject: [PATCH] more refinements --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 20814a1a..cd64fe47 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -41,7 +41,7 @@ We will then take care of the issue as soon as possible. ### Contributing Code -To contribute to Clingo, please fork the repository and **open a pull request to the wip branch**. We do not accept pull requests to the master. They will have to be rebased. We currently do not enforce coding styles. Please try to match the existing one as best as possible. To avoid unnecessary work, you can reach out to use to discuss your contribution via one of the ways described here. +To contribute to Clingo, please fork the repository and **open a pull request to the wip branch**. We do not accept pull requests to the master. They will have to be rebased. We currently do not enforce coding styles. Please try to match the existing one as best as possible. To avoid unnecessary work, you can reach out to use to discuss your contribution via one of the ways described below. ### Reporting Bugs