diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-29T15·40+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-29T15·40+0000 |
commit | 547b119f25dea97ff06cf754f2720e11b50f079f (patch) | |
tree | 4b2dbe9423125291e48e79a7b681b674a997b80b /externals | |
parent | 2132d9ddeba14ea2ddcbb16fa51ddb16c45c3c6a (diff) |
* Support singleton values and nested lists again in `args', but print
a warning.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions