Rebase

2018-08-26 23:42:26 -11:00
parent d2eccba5a5
commit 6265d22574
9 changed files with 102 additions and 6 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