about summary refs log tree commit diff
path: root/externals/Makefile.am
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-06-10T10·29+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-06-10T10·29+0000
commitf16fe2af8d59fef156c29077a240a832d3e60ef2 (patch)
treee76a9db974af45eb58015aa638f0ce170f2565e7 /externals/Makefile.am
parent07ca66cf242eef3c7a6396e9353e48037034498b (diff)
* builtins.toXML: propagate the string context. This is a regression
  from the old ATerm-based evaluator.

Diffstat (limited to 'externals/Makefile.am')
0 files changed, 0 insertions, 0 deletions