diff options
author | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-11-22 16:38:59 +0100 |
---|---|---|
committer | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-11-22 16:38:59 +0100 |
commit | 2235fa0fc65f43605350b9a22733361b2bd8263e (patch) | |
tree | eb5e5ab7adbfb2f3129d10cd16bb36acdf531da6 /include | |
parent | bc03dad9393d6fd9aad1ba22c98c223edecc918b (diff) | |
download | astra-2235fa0fc65f43605350b9a22733361b2bd8263e.tar.gz astra-2235fa0fc65f43605350b9a22733361b2bd8263e.tar.bz2 astra-2235fa0fc65f43605350b9a22733361b2bd8263e.tar.xz astra-2235fa0fc65f43605350b9a22733361b2bd8263e.zip |
Simplify travis build using new install type
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions