diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2023-11-25 07:57:14 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-11-25 07:57:14 +0100 |
commit | a08726719217135455e571e00e4eb165712d6221 (patch) | |
tree | 8f56e4d8f1f1f0b4f25db6ad123baf7d27627d53 /man | |
parent | 43af185533b11327368148a44e9295ea3eb3abb1 (diff) |
Bump the date to trigger build on Travis
They refilled my credits, thanks for that!
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions