Changing travis dist

This commit is contained in:
Martin Stockhammer 2020-11-16 16:07:37 +01:00
parent 609736386b
commit 1c28c3ea58
5 changed files with 1 additions and 1 deletions