Sign in
opensecura
/
3p
/
tock
/
libtock-rs
/
807cd9c650c0060baa710c979c891218ee72fdb1
/
.
/
.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
