diff options
author | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2017-01-17 11:43:28 +0100 |
---|---|---|
committer | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2017-01-17 11:43:28 +0100 |
commit | 8aa72ecc013d0e5fdbbba98850aba1d88417df91 (patch) | |
tree | adbd08c069757f7915ff350ef2f99c9715fc0c72 /.gitignore | |
parent | 8dea7f164e246f2d17674e46e15da2697711b882 (diff) | |
download | astra-8aa72ecc013d0e5fdbbba98850aba1d88417df91.tar.gz astra-8aa72ecc013d0e5fdbbba98850aba1d88417df91.tar.bz2 astra-8aa72ecc013d0e5fdbbba98850aba1d88417df91.tar.xz astra-8aa72ecc013d0e5fdbbba98850aba1d88417df91.zip |
Fix copy/paste mistake.
Thanks @adler-j.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions