New version: PDDLViz v0.1.2 (#82165)

UUID: 8f72e95f-8ea1-4af3-8b89-086f52abff52 Repo: https://github.com/JuliaPlanners/PDDLViz.jl.git Tree: 314d34a8860464c4e575569a6a6daa53cd595c6e Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistries · Apr 24, 2023 · b0ae04d · b0ae04d
1 parent b5e9f82
commit b0ae04d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/P/PDDLViz/Versions.toml b/P/PDDLViz/Versions.toml
@@ -3,3 +3,6 @@ git-tree-sha1 = "c3f1332e6a8d3569903a7cc101a0add4f9b11086"
 
 ["0.1.1"]
 git-tree-sha1 = "e1bdf995024bfd5a32053199a224124d7144a17b"
+
+["0.1.2"]
+git-tree-sha1 = "314d34a8860464c4e575569a6a6daa53cd595c6e"