This commit is contained in:
swrup 2026-03-03 10:09:03 +01:00
parent d0ddee257e
commit 86b2b3aa79
20 changed files with 104 additions and 120 deletions

View file

@ -10,6 +10,8 @@ auditor_pub="A17JXR3E6J4CXDPYT7S1H25PGJ3ABS26TQ38654QCX0TB59RPMF0"
master_key="./default/master_offline_private_key"
zero_kudos="KUDOS:0.0"
# TODO launch mte.exe and kill it a then end with its PID
offline_tool() {
dune exec offline -- "$@" > /dev/null
}