diff options
author | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-02-15 13:37:22 +0100 |
---|---|---|
committer | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-02-15 13:37:22 +0100 |
commit | e9fad320817cd8ab84f7ef81940fda63f975551e (patch) | |
tree | 1b4be65bce032b0c02cd3c8f957641b095025d08 /include/astra | |
parent | 838cfae58d825fb8915dc7d3c974d96e6a4f981c (diff) | |
download | astra-e9fad320817cd8ab84f7ef81940fda63f975551e.tar.gz astra-e9fad320817cd8ab84f7ef81940fda63f975551e.tar.bz2 astra-e9fad320817cd8ab84f7ef81940fda63f975551e.tar.xz astra-e9fad320817cd8ab84f7ef81940fda63f975551e.zip |
Skip some unnecessary splitting
Diffstat (limited to 'include/astra')
0 files changed, 0 insertions, 0 deletions