diff options
| author | Matthieu Sozeau | 2015-12-02 15:37:14 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-12-02 15:38:52 +0100 |
| commit | c62eb0470975c9b5960a49a90b49b4aa191efd1c (patch) | |
| tree | 3812bf622f165f19f255c7e1cdbb42a2d28af920 /dev | |
| parent | 16504ad480a920e1800d52f5adbea8ddecefbeb0 (diff) | |
Add an option to deactivate compatibility printing of primitive
projections (off by default).
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions