diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2021-11-18 11:16:44 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-11-18 11:16:44 +0100 |
| commit | 037be66f8c587d8a280d67c00e4b004ecd8cb775 (patch) | |
| tree | 5930cd50de407017b3eeb0e5de8380e410ae8ada /vignettes/run.bat | |
| parent | 8b1877ff07d3ab11472bcdba0f273abb2432c0b4 (diff) | |
Updates after changing the default branch to main
Diffstat (limited to 'vignettes/run.bat')
0 files changed, 0 insertions, 0 deletions