From c2a82cc1a27a2355df6fd1de2b85303d44642d38 Mon Sep 17 00:00:00 2001 From: Simon Praetorius <simon.praetorius@tu-dresden.de> Date: Thu, 28 Mar 2019 10:59:57 +0100 Subject: [PATCH] corrected typo in amdisproject --- bin/amdisproject | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/amdisproject b/bin/amdisproject index 6985c88c..22aff564 100755 --- a/bin/amdisproject +++ b/bin/amdisproject @@ -283,7 +283,7 @@ Version: $VERSION Maintainer: $MAINTAINER Depends: $DEPENDENCIES -Suggests: # add additional optional dune modules here +# Suggests: # add additional optional dune modules here C_DELIM ## Create the parameters passed to DUNE_CHECK_ALL -- GitLab