diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-15 20:59:33 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-15 20:59:33 +0200 |
| commit | d73280433b9e44da11c00464d83398c8557da92c (patch) | |
| tree | 658d7b643f30d968f49031d240831c6102aaccdd /docs/dev/reference/mkinds.html | |
| parent | fb24301b74ecc99b4c20f9e6bb5e25c339a709a0 (diff) | |
Fix the travis_wait command
Diffstat (limited to 'docs/dev/reference/mkinds.html')
0 files changed, 0 insertions, 0 deletions