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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions