diff options
| author | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-03-23 15:30:47 +0100 |
|---|---|---|
| committer | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-03-23 16:03:20 +0100 |
| commit | f03ceb16d2dbde0c43e8c90683c5feafe01e5356 (patch) | |
| tree | 95ef7e60ed75d18d095b4620bade02ae1b6e72e2 /.gitignore | |
| parent | 495903529d473a9968c1333d5a515e3b94732f0b (diff) | |
| download | astra-f03ceb16d2dbde0c43e8c90683c5feafe01e5356.tar.gz astra-f03ceb16d2dbde0c43e8c90683c5feafe01e5356.tar.bz2 astra-f03ceb16d2dbde0c43e8c90683c5feafe01e5356.tar.xz astra-f03ceb16d2dbde0c43e8c90683c5feafe01e5356.zip | |
Rename ART lambda option to Relaxation
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions