This commit is contained in:
parent
e59762a393
commit
ba22d819d8
1 changed files with 2 additions and 0 deletions
|
|
@ -10,6 +10,8 @@ auditor_pub="A17JXR3E6J4CXDPYT7S1H25PGJ3ABS26TQ38654QCX0TB59RPMF0"
|
||||||
master_key="./default/master_offline_private_key"
|
master_key="./default/master_offline_private_key"
|
||||||
zero_kudos="KUDOS:0.0"
|
zero_kudos="KUDOS:0.0"
|
||||||
|
|
||||||
|
# TODO launch mte.exe and kill it a then end with its PID
|
||||||
|
|
||||||
offline_tool() {
|
offline_tool() {
|
||||||
dune exec offline -- "$@" > /dev/null
|
dune exec offline -- "$@" > /dev/null
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue