swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

JJ: Description from the destination commit:

Browse source 
~

JJ: Description from source commit:
clean up
This commit is contained in:
swrup 2026-03-03 10:09:03 +01:00
parent d0ddee257e
commit 0c16870cbd
20 changed files with 104 additions and 120 deletions
Download patch file Download diff file Expand all files Collapse all files

2
test/management.sh
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
}