diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-25 14:27:22 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-25 14:27:22 +0200 |
| commit | bd0a683778fbb0cced02fec79d6724ef0399f5bc (patch) | |
| tree | fb5ecd39a01e108bc3549b089d72c81266f417af /docs/reference/mkinds.html | |
| parent | e22a68e1c92e4494e2d695421f40d099dbd070f2 (diff) | |
Tell travis where to really find the saemix version...
Diffstat (limited to 'docs/reference/mkinds.html')
0 files changed, 0 insertions, 0 deletions