diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-04-01 19:24:20 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-04-01 19:24:20 +0200 |
| commit | 5d891c2b0c5b39fa816c9cb9ec904cbe3923e6b8 (patch) | |
| tree | 38f2f25fe3d8cf2f1bae9ec0ce7ca1fad465839e /tools/package_up.sh | |
| parent | 1d58abb9171bc9582ad0b635ccff9467616693f6 (diff) | |
| download | sbotools2-5d891c2b0c5b39fa816c9cb9ec904cbe3923e6b8.tar.xz | |
Tar the cover_db up and see if we can split the prove command into multiple lines
Diffstat (limited to 'tools/package_up.sh')
0 files changed, 0 insertions, 0 deletions