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/reference/print.summary.mmkin.html | |
| parent | 7dd7d6a56a0169242476a1969488ba21971c6290 (diff) | |
Make sure test work on my desktop, skip more tests on travis
Diffstat (limited to 'docs/reference/print.summary.mmkin.html')
0 files changed, 0 insertions, 0 deletions