diff options
author | Johannes Ranke <johannes.ranke@jrwb.de> | 2024-07-28 09:25:18 +0200 |
---|---|---|
committer | Johannes Ranke <johannes.ranke@jrwb.de> | 2024-07-28 09:26:20 +0200 |
commit | 272b3863d1463dfaf62c6e06ea22610c0540237f (patch) | |
tree | ae1553dfd588a4e89940000170992be0434177e6 /docs/dev/index.html | |
parent | 7dd7d6a56a0169242476a1969488ba21971c6290 (diff) |
Make sure test work on my desktop, skip more tests on travis
Diffstat (limited to 'docs/dev/index.html')
0 files changed, 0 insertions, 0 deletions