8 lines
89 B
Coq
8 lines
89 B
Coq
|
module git
|
||
|
|
|
||
|
|
pub struct GitRepo {
|
||
|
|
pub:
|
||
|
|
url string [required]
|
||
|
|
branch string [required]
|
||
|
|
}
|