Skip to content

Commit

Permalink
New version: OscarDevTools v0.2.18 (#108010)
Browse files Browse the repository at this point in the history 
UUID: 4f01c588-2833-446a-9dbd-6331d80acb41
Repo: https://github.com/oscar-system/OscarDevTools.jl.git
Tree: e531878a09aa054fb84b2164a8fb06158c907bc4

Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
  • Loading branch information
@JuliaRegistrator
JuliaRegistrator authored May 31, 2024
1 parent 27ad044 commit 10bba35
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions O/OscarDevTools/Versions.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -57,3 +57,6 @@ git-tree-sha1 = "333015ee0b8535fa0afb8e26e5dc72220c68199d"

["0.2.17"]
git-tree-sha1 = "013ae3bc006be2555d3230e39965a0841e82f7fe"

["0.2.18"]
git-tree-sha1 = "e531878a09aa054fb84b2164a8fb06158c907bc4"

0 comments on commit 10bba35

Please sign in to comment.