about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-10-03T15·38+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-10-03T15·38+0000
commit5fd44654dbca02f188957279eb25a33a3ecfe96b (patch)
tree12b0cb0d2e3018795f810314402450b91bc6b7ae /doc
parent3837fb233cccc8f65629749f07820afba04952a0 (diff)
* toXML: propagate the context to allow derivations to be used in the
  argument.

Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions