diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2018-09-07 07:48:02 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-09-07 07:48:02 +0200 |
| commit | f17a9576092cd3fc4e7c8063383f5d4977ca4108 (patch) | |
| tree | 81284e1a04f99c76af2763ca598f29f2149ab2f4 /docs/reference/HS.solution.html | |
| parent | 74147e956951f82cb5d73f4245faff20136c6860 (diff) | |
Bump version to trigger pkgdown hook on jrwb.de
Diffstat (limited to 'docs/reference/HS.solution.html')
0 files changed, 0 insertions, 0 deletions