diff options
| author | Pierre-Marie Pédrot | 2015-08-15 19:43:22 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-08-15 20:05:18 +0200 |
| commit | 8e3c2182d0c43530fc2cf62e63f5474773d04604 (patch) | |
| tree | db217afd54b3224f7d5a9bdea83fbed3d7b40aba /dev | |
| parent | 5cec38e8a2fbe39c75404f249974227afc028f27 (diff) | |
Fixing richpp behaviour w.r.t. its specification.
Contrarily to what was described in the API, nodes without annotations
were not ignored by the printer but left there instead.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions