diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2024-11-17 16:58:19 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2024-11-17 16:58:19 +0100 |
| commit | b10d246720105125395b6842adc8c985231ad515 (patch) | |
| tree | e7debb55927cc72fe3bbd87d2afc79eba2ba9214 /GNUmakefile | |
| parent | 77759ea63aa724d87cf3cc1b41bb14f5209f8725 (diff) | |
Give up on travis, check with github actions
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions