Closed Henni closed 7 years ago
this fixes issues with travis
Travis still fails, but not because of the git submodules anymore.
Please give me a quick review @krishenk @RBirkeland @ansjin
this fixes issues with travis