| commit | 00f75e1d935a8e2246b523e3469b22d4a75241cd | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 02 21:50:59 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 02 21:50:59 2011 +0000 |
| tree | 88df50dcf165dcc00abe9cbb754851121eff65ec | |
| parent | fef1da90ac1e7dd29fd2c59cb3cb898ba0cccc92 [diff] |
better option handling, previous version killed all workspace defaults causing, e.g., compliance 1.3 to be applied. (problem was in setting optionsCache to a sparse map).