diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-10-22T08·10+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-10-22T08·10+0000 |
| commit | deb342fb08fb7b366af482664f44e52f749e63b8 (patch) | |
| tree | f2299bfc15acddd7daffad390acf6e0dab816f47 /scripts/readconfig.pm.in | |
| parent | 437077c39dd7abb44b2ab02cb9c6215d125bef04 (diff) | |
* builtins.trace: in the common case that the value is a string, then
show the string, not the ATerm, so we get `trace: bla' instead of
`trace: Str("bla",[])'.
Diffstat (limited to 'scripts/readconfig.pm.in')
0 files changed, 0 insertions, 0 deletions