From 3e45b1e465c468d3f3c8d02e71e41a8b49ebd2bf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Fri, 20 Mar 2020 10:31:13 +0100 Subject: [PATCH] v0.1.0 --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 84dd4a9..3fcfe2e 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.0.4" +version = "0.1.0" [deps] Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"