This website requires JavaScript.
Explore
Help
Sign In
vieter-v
/
vieter
Watch
2
Star
1
Fork
You've already forked vieter
5
Code
Issues
84
Pull Requests
6
Packages
Projects
Releases
12
Wiki
Activity
1d434db166
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
]
}