333

2017-10-09 15:56:28 +02:00
parent 01ea54be3f
commit 59d405e867
9 changed files with 26 additions and 7 deletions
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -49,3 +49,4 @@ echo wlc; fiat/wlc $1 $2 $3 $4
 echo kv; fiat/kv $1 $2 $3 $4
 echo ceal; fiat/ceal $1 $2 $3 $4
 echo mesh; fiat/mesh $1 $2 $3 $4
+echo mnz; fiat/mnz $1 $2 $3 $4