mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-02-23 15:07:28 +08:00
Update the version number on the repo launcher
The repo launcher version needs to be updated so some users can take advantage of the more robust version number parsing. Change-Id: Ibcd8036363311528db82db2b252357ffd21eb59b
This commit is contained in:
parent
ff0a3c8f80
commit
5db69f3f66
Loading…
Reference in New Issue
Block a user