Skip to content

Commit

Permalink
Bump D extension to v0.0.8 (#1447)
Browse files Browse the repository at this point in the history
This fixes a few grammar errors introduced in the last version.
  • Loading branch information
gdamore authored Sep 23, 2024
1 parent b4a6140 commit 328bd49
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion extensions.toml
Original file line number Diff line number Diff line change
Expand Up @@ -264,7 +264,7 @@ version = "0.7.0"

[d]
submodule = "extensions/d"
version = "0.0.7"
version = "0.0.8"

[dafny]
submodule = "extensions/dafny"
Expand Down
2 changes: 1 addition & 1 deletion extensions/d
Submodule d updated 3 files
+1 −1 Cargo.toml
+31 −6 README.md
+2 −2 extension.toml

0 comments on commit 328bd49

Please sign in to comment.