From 1d192d56c0de2dca8c26e79bf5ac9c139127a5e5 Mon Sep 17 00:00:00 2001 From: neil Date: Mon, 4 Dec 2023 18:44:05 +0100 Subject: [PATCH] minor --- .github/data/datafile.ini | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/data/datafile.ini b/.github/data/datafile.ini index c213a54..36ea347 100644 --- a/.github/data/datafile.ini +++ b/.github/data/datafile.ini @@ -12,3 +12,5 @@ VM_SET_RELEASE=7.3 VM_SHELL_COMMENTS="The default shell in OpenBSD is `ksh`, if you want to use `sh` to execute the `run` script, please set `usesh` to `true`." + +