ceal

2017-01-29 21:51:14 +02:00
parent cf3eda30c1
commit b6b5a76d18
6 changed files with 173 additions and 0 deletions
--- a/src/fiat/ceal
+++ b/src/fiat/ceal
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=CEAL $1 $2 $3 $4 $5 $6