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