diff options
author | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-05-17 16:00:28 +0200 |
---|---|---|
committer | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-05-17 16:00:28 +0200 |
commit | f9b68bafd90941d9faf53e5e2771361e3ab4336a (patch) | |
tree | adb88053a6e68003ff57dd2dfc8dc6d07b728aa5 /build/linux/install-sh.dist | |
parent | 73ad6a97531b6bc1d311eceb6ba2770fdf407b81 (diff) | |
download | astra-f9b68bafd90941d9faf53e5e2771361e3ab4336a.tar.gz astra-f9b68bafd90941d9faf53e5e2771361e3ab4336a.tar.bz2 astra-f9b68bafd90941d9faf53e5e2771361e3ab4336a.tar.xz astra-f9b68bafd90941d9faf53e5e2771361e3ab4336a.zip |
Add sanity check
Diffstat (limited to 'build/linux/install-sh.dist')
0 files changed, 0 insertions, 0 deletions