Skip to content

Commit

Permalink
New version: OceanRobots v0.1.2 (#52968)
Browse files Browse the repository at this point in the history 
UUID: 0b51df41-3294-4961-8d23-db645e32016d
Repo: https://github.com/gaelforget/OceanRobots.jl.git
Tree: c6630ebac391ae5f0546df97954ded26980cc438

Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
  • Loading branch information
@JuliaRegistrator
JuliaRegistrator authored Jan 22, 2022
1 parent fbf9da7 commit 1948836
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions O/OceanRobots/Versions.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,3 +15,6 @@ git-tree-sha1 = "7ba925be4ed989987507321cbead24608ac5d4eb"

["0.1.1"]
git-tree-sha1 = "72175223cd36caa719410189ccf522beca972749"

["0.1.2"]
git-tree-sha1 = "c6630ebac391ae5f0546df97954ded26980cc438"

0 comments on commit 1948836

Please sign in to comment.