Sign in
opensecura
/
3p
/
tock
/
libtock-rs
/
e8eb189ceba99b0a4f29c349cbed757ea96b6114
/
.
/
.gitmodules
blob: d21db5ed13d3267612a451e444128f0975a8d1f6 [
file
] [
log
] [
blame
]
[
submodule
"tock"
]
path
=
tock
url
=
https
:
//github.com/tock/tock.git
[
submodule
"tock2"
]
path
=
tock2
url
=
https
:
//github.com/tock/tock.git
