summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2011-07-24 14:56:11 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2011-07-24 14:56:11 +0200
commit319def6da0c6d17c29f66c0ea5837a58988a67d7 (patch)
tree43724ae423ec85682ba77d5e4af347f8e7ed7729 /doc
parentac83439900ab5ed4febe68375d3936ae2a59d707 (diff)
Add support for resetting options accumulated with options pragma
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions