diff options
author | jbzdarkid <jbzdarkid@gmail.com> | 2018-11-07 09:26:42 -0800 |
---|---|---|
committer | jbzdarkid <jbzdarkid@gmail.com> | 2018-11-07 09:26:42 -0800 |
commit | 5ad08f6611c8c777c43cfa0d2380b6ad6554a54d (patch) | |
tree | e14b08857f15003bdeb47daca0dc5e741c033b94 /GithubPackage/.gitignore | |
parent | e762e48d6fbab7bd5137c369fa49df25ccd5369d (diff) | |
download | witness-tutorializer-5ad08f6611c8c777c43cfa0d2380b6ad6554a54d.tar.gz witness-tutorializer-5ad08f6611c8c777c43cfa0d2380b6ad6554a54d.tar.bz2 witness-tutorializer-5ad08f6611c8c777c43cfa0d2380b6ad6554a54d.zip |
Not sure what other feature work is valuable -- I'd rather work on exporting.
Diffstat (limited to 'GithubPackage/.gitignore')
0 files changed, 0 insertions, 0 deletions