diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2015-06-15 12:36:53 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-06-15 12:36:53 +0200 |
| commit | e78db08d98d5adb4dee3006eea8c3569e383c562 (patch) | |
| tree | 4df1473c158d69ee7b53c75cc61f1a282b72da99 /doc/manual.xhtml | |
| parent | bbc39ffe31c67506b4c03fc56fa3adcb925b6325 (diff) | |
Add points_to pragma
Currently does not support containers.
Diffstat (limited to 'doc/manual.xhtml')
0 files changed, 0 insertions, 0 deletions