summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorTslil Clingman <hiato1@gmail.com>2013-03-26 15:28:03 +0200
committerTslil Clingman <hiato1@gmail.com>2013-03-26 15:28:03 +0200
commit3bd9f307d5cd0128ea4fa37aaecaadac5629521c (patch)
tree6197fd7fe1699ebe1daafed4d8d9385dbe58489e /ci
parent8c19617946822d7aeac61696294f893d5e5eca6f (diff)
Added brief descriptions
Diffstat (limited to 'ci')
-rwxr-xr-xci1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci b/ci
index 32c828b..ffa9f8f 100755
--- a/ci
+++ b/ci
@@ -1,3 +1,4 @@
+# Convenient frontend for quickly evaluating C code
#!/bin/bash
LIBR="stdlib stdio math ieee754"