From f9b56dcda263587645336c222849b9a104ed24c9 Mon Sep 17 00:00:00 2001 From: bugarela Date: Thu, 19 Sep 2024 09:04:08 -0300 Subject: [PATCH] Add changelog entry for the new bat file --- .unreleased/features/bat-file.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 .unreleased/features/bat-file.md diff --git a/.unreleased/features/bat-file.md b/.unreleased/features/bat-file.md new file mode 100644 index 0000000000..2ea740f941 --- /dev/null +++ b/.unreleased/features/bat-file.md @@ -0,0 +1 @@ +Added an `apalache-mc.bat` file to easily start Apalache on Windows, see #2980