diff options
author | Benjamin Jones <bjones@galois.com> | 2012-12-04 18:54:02 -0800 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2012-12-04 18:54:02 -0800 |
commit | b07875c0defbd25d18b699c724ef371e46935cb0 (patch) | |
tree | 314507efcac714ac11ea777a860a77ab58943aca /exampleData/headlessRuns/.gitignore | |
parent | 723c39f1763d87969d385688abb37960818a4713 (diff) |
gave exampleData/basic a better name: sites
Diffstat (limited to 'exampleData/headlessRuns/.gitignore')
-rw-r--r-- | exampleData/headlessRuns/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/exampleData/headlessRuns/.gitignore b/exampleData/headlessRuns/.gitignore new file mode 100644 index 0000000..f47cb20 --- /dev/null +++ b/exampleData/headlessRuns/.gitignore @@ -0,0 +1 @@ +*.out |