diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2021-02-13 11:58:44 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-02-13 11:58:44 +0100 |
| commit | b4582fc7d3f1d395bfd9d870137b705469d9eab2 (patch) | |
| tree | 1d60b437adb75411e8be18e3732e2885c1816fcd /.gitignore | |
| parent | 3532d769c1a3561de37e0d10cffa9801fe9df7c6 (diff) | |
Post-release update of README.html
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions