about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-08-29T15·40+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-08-29T15·40+0000
commit547b119f25dea97ff06cf754f2720e11b50f079f (patch)
tree4b2dbe9423125291e48e79a7b681b674a997b80b /externals
parent2132d9ddeba14ea2ddcbb16fa51ddb16c45c3c6a (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