mirror of
https://github.com/polhenarejos/pico-openpgp.git
synced 2026-06-04 20:29:12 +02:00
Fix build
Fixes #42 Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Fixes #42 Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>