diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2021-02-13 22:01:37 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-02-13 22:01:37 +0100 |
commit | 8b1877ff07d3ab11472bcdba0f273abb2432c0b4 (patch) | |
tree | 8d6620a4c917b06c769719066fabe203e60bf669 /vignettes/run.bat | |
parent | 4252d9b44ceecfecabd3977fc12f11ed85d78e93 (diff) |
More updates to the README
Diffstat (limited to 'vignettes/run.bat')
0 files changed, 0 insertions, 0 deletions