about summary refs log tree commit diff
path: root/doc/manual/conf-file.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-10-29T14·44+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-10-29T14·44+0000
commit26def5392f6f6364aa0939a2d4fc7705e786d38d (patch)
tree1908294aa8f029be6bc4c0f227074391dbaeee9b /doc/manual/conf-file.xml
parent3d71c8013efa5d347b9767af54160b3d0fd9127b (diff)
* Document Boehm GC support.
Diffstat (limited to 'doc/manual/conf-file.xml')
0 files changed, 0 insertions, 0 deletions