From 637273ce45da0fa4f60bd715644243f07762f4cc Mon Sep 17 00:00:00 2001 From: Christian Schulte Date: Wed, 17 Oct 2018 21:14:35 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9adc953ed6..6bd39946c2 100644 --- a/README.md +++ b/README.md @@ -32,7 +32,7 @@ or ## Contributing to Gecode -We happily accept smaller contributions and fixes, please provide them as pull requests against the develop branch. +We happily accept smaller contributions and fixes, please provide them as pull requests against the develop branch. For larger contributions, please get in touch. ## Gecode License