This website requires JavaScript.
Explore
Help
Sign In
Chewing_Bever
/
vieter
forked from
vieter-v/vieter
Watch
1
Star
0
Fork
You've already forked vieter
0
Code
Issues
Pull Requests
Releases
Activity
92ad0c51eb
vieter
/
src
/
git.v
8 lines
92 B
Coq
Raw
Normal View
History
Unescape
Escape
Repos are now read from a json file
2022-02-20 21:19:31 +01:00
module
git
pub
struct
GitRepo
{
pub
:
Added some documentation; ran format
2022-02-20 22:15:10 +01:00
url
string
[
required
]
Repos are now read from a json file
2022-02-20 21:19:31 +01:00
branch
string
[
required
]
}