~ todos
This commit is contained in:
parent
650264f21e
commit
f7c9f4163c
12 changed files with 17 additions and 31 deletions
|
|
@ -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
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue