Skip to content

Commit

Permalink
Update platform.json
Browse files Browse the repository at this point in the history
  • Loading branch information
maxgerhardt authored Jun 15, 2023
1 parent d451c46 commit 131d250
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion platform.json
Original file line number Diff line number Diff line change
Expand Up @@ -123,7 +123,7 @@
"tool-minichlink": {
"type": "uploader",
"owner": "community-ch32v",
"version": "https://github.com/Community-PIO-CH32V/tool-minichlink.git#master",
"version": "https://github.com/Community-PIO-CH32V/tool-minichlink.git",
"optional": true
}
}
Expand Down

0 comments on commit 131d250

Please sign in to comment.