diff options
author | Christopher Vogt <oss.nsp@cvogt.org> | 2017-03-12 13:02:51 -0400 |
---|---|---|
committer | Christopher Vogt <oss.nsp@cvogt.org> | 2017-03-12 15:29:47 -0400 |
commit | 8567e2557467f838e371fd8e6b267d5a417ef78e (patch) | |
tree | 869e53308505bfe80c987221c4d7c967280ab7c5 /examples/frege-example | |
parent | f35f2e0dbabb68511166b647a5018d7f57adcd9a (diff) | |
download | cbt-8567e2557467f838e371fd8e6b267d5a417ef78e.tar.gz cbt-8567e2557467f838e371fd8e6b267d5a417ef78e.tar.bz2 cbt-8567e2557467f838e371fd8e6b267d5a417ef78e.zip |
force successful shellcheck linting for launcher script
Diffstat (limited to 'examples/frege-example')
0 files changed, 0 insertions, 0 deletions