diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2020-05-02 11:57:20 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-05-02 14:24:10 -0700 |
commit | e9e72fa237c3532adf01e535614cd78c8005b3eb (patch) | |
tree | accf3c568404ac296fd5519cc511287e0ffba688 /dives/test16.xml | |
parent | f16738c3a1009c21aadd79f26d2dc6c69b20f99b (diff) | |
download | subsurface-e9e72fa237c3532adf01e535614cd78c8005b3eb.tar.gz |
add random helper scripts
These are all kinda weird but I use them when creating releases, so it
seems to make sense to add them to the repo. I don't think they are
useful to anyone but me, but in the event someone else takes over, they
might be a useful starting point.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dives/test16.xml')
0 files changed, 0 insertions, 0 deletions