New version: EnhancedGJK v0.3.1 (#1483)

UUID: 3d39a06-b57e-5769-b499-4d62b23c243f Repo: https://github.com/JuliaRobotics/EnhancedGJK.jl.git Tree: 9a1ba9e4b8b414e7c6edcb0fc5d08ed956ea2cef Registrator tree SHA: unknown
JuliaRegistries · Jun 21, 2019 · 05143ce · 05143ce
1 parent 914b1fb
commit 05143ce
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/E/EnhancedGJK/Versions.toml b/E/EnhancedGJK/Versions.toml
@@ -9,3 +9,6 @@ git-tree-sha1 = "0b3d18cdcc1a2b83e8dbb765dbf24383a6b9e615"
 
 ["0.3.0"]
 git-tree-sha1 = "f974c5c6a86f4fed88413bb114ad775dbb5c9e5a"
+
+["0.3.1"]
+git-tree-sha1 = "9a1ba9e4b8b414e7c6edcb0fc5d08ed956ea2cef"