From a5e49499128017c85f9a8977b903b32643660a73 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Tue, 21 Jun 2022 22:35:19 +0200 Subject: [PATCH] v0.2.2 --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 2befb7a..ecb651d 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "SwitchOnSafety" uuid = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f" repo = "https://github.com/blegat/SwitchOnSafety.jl.git" -version = "0.2.1" +version = "0.2.2" [deps] Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"