diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2024-11-17 16:10:36 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2024-11-17 16:10:36 +0100 |
| commit | 77759ea63aa724d87cf3cc1b41bb14f5209f8725 (patch) | |
| tree | 961c64b03cd6d4d2001375d5c35a095b107bd485 /GNUmakefile | |
| parent | aa5045c8bb5feca1d74e12e621eafbc84bf5b522 (diff) | |
Bump date to check codecov config
On codecov.io, I changed the settings not to require
an upload token. Hopefully this restores coverage reports.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions