This commit is contained in:
Mihail Fedorov
2019-02-26 04:51:32 +03:00
parent e90131793e
commit 0d2bfae2bf
4 changed files with 13 additions and 2 deletions

2
src/fiat/iln Executable file
View File

@@ -0,0 +1,2 @@
#!/bin/bash
./komodo-cli -ac_name=ILN $1 $2 $3 $4 $5 $6