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