v0.1.2

blegat · Jun 19, 2020 · b593849 · b593849
1 parent 6e6149e
commit b593849
Show file tree

Hide file tree

Showing 5 changed files with 337 additions and 172 deletions.
diff --git 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.1.1"
+version = "0.1.2"
 
 [deps]
 Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"