.gitmodules · 1fca16316e66a7da94eb180f88ffb766cdc7b175 · koenigl2 / OpenSK · GitLab

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

5 years ago
f91d2fd3

Initial commit · f91d2fd3
Jean-Michel Picod authored 5 years ago

f91d2fd3

History

Initial commit
Jean-Michel Picod authored 5 years ago

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

.gitmodules 202 B

[submodule "third_party/libtock-rs"]
	path = third_party/libtock-rs
	url = https://github.com/tock/libtock-rs
[submodule "third_party/tock"]
	path = third_party/tock
	url = https://github.com/tock/tock