From c4eebdd0d9e29638dbc98b95f7979f1f224298a9 Mon Sep 17 00:00:00 2001 From: OniriCorpe Date: Thu, 17 Aug 2023 21:48:59 +0200 Subject: [PATCH] =?UTF-8?q?fix=20"variable=20sans=20liaison"=20=C3=A0=20la?= =?UTF-8?q?=20shlag?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- genlog.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/genlog.sh b/genlog.sh index b0d5c55..cbfe0f0 100755 --- a/genlog.sh +++ b/genlog.sh @@ -3,7 +3,6 @@ # quelques trucs intelligents # https://sharats.me/posts/shell-script-best-practices/ set -o errexit -set -o nounset set -o pipefail