diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-01-04T14·22+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-01-04T14·22+0000 |
commit | 7d0f6aed59b11ef1037e7b0ee4dae1c7288ebb45 (patch) | |
tree | 7b158d1eafd04f0d08426a9919beb635c48124d6 /src/aterm-helper.pl | |
parent | 895c9538173a1c1d7e5f6c82e5b7a58b7d904683 (diff) |
* New primop `unsafeDiscardStringContext' to get rid of string
contexts. Needed to prevent unnecessary dependencies when building the NixOS manual.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions