diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-25 14:21:04 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-25 14:21:04 +0200 |
| commit | e22a68e1c92e4494e2d695421f40d099dbd070f2 (patch) | |
| tree | 8b583dc5053c1d24b78a737af195c029d801564e /docs/dev/docsearch.js | |
| parent | 9f9336d59e68690472888bfdeb12944176d7d272 (diff) | |
Tell travis where to find the required saemix version
Diffstat (limited to 'docs/dev/docsearch.js')
0 files changed, 0 insertions, 0 deletions