mirror of
https://github.com/polhenarejos/pico-openpgp.git
synced 2024-09-20 03:10:10 +00:00
Rename old pico-hsm-sdk to new name pico-keys-sdk.
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
parent
e3728bdb51
commit
109e97bcff
2
.gitmodules
vendored
2
.gitmodules
vendored
@ -1,3 +1,3 @@
|
|||||||
[submodule "pico-hsm-sdk"]
|
[submodule "pico-hsm-sdk"]
|
||||||
path = pico-hsm-sdk
|
path = pico-keys-sdk
|
||||||
url = ../pico-hsm-sdk
|
url = ../pico-hsm-sdk
|
||||||
|
Loading…
Reference in New Issue
Block a user