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 /lib/include | |
| parent | 495903529d473a9968c1333d5a515e3b94732f0b (diff) | |
Rename ART lambda option to Relaxation
Diffstat (limited to 'lib/include')
0 files changed, 0 insertions, 0 deletions