Merge pull request #840 from jl777/dev

Dev
2018-08-25 03:34:24 -11:00
parent 603845b5db 8a3c440ea4
commit 8010774526
8 changed files with 36 additions and 20 deletions
--- a/src/fiat/ccl
+++ b/src/fiat/ccl
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=CCL $1 $2 $3 $4 $5 $6