diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-02-11 17:26:19 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-02-11 17:26:19 -0800 |
| commit | 6ad504fcb173503f530296bf54330b7fb841f1a5 (patch) | |
| tree | 1c5afa74ade0a981565705f9ab2b32f36d934bd9 /exampleData | |
| parent | cf438b418742bc897c31cf0787cb820ec85d9728 (diff) | |
adding headless documentation, work in progress..
Diffstat (limited to 'exampleData')
| -rwxr-xr-x | exampleData/headlessRuns/runHeadless.sh (renamed from exampleData/headlessRuns/runExample.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/exampleData/headlessRuns/runExample.sh b/exampleData/headlessRuns/runHeadless.sh index 9f4af7a..9f4af7a 100755 --- a/exampleData/headlessRuns/runExample.sh +++ b/exampleData/headlessRuns/runHeadless.sh |