diff options
| author | Matthieu Sozeau | 2015-12-02 14:28:29 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-12-02 14:55:54 +0100 |
| commit | 16504ad480a920e1800d52f5adbea8ddecefbeb0 (patch) | |
| tree | 7ce520895f73c0d906ee5f03d245d1f445fdf2f2 /dev | |
| parent | 315aac9ae0d411c10849c421d5dfd8e134919233 (diff) | |
Fix a bug in externalisation which prevented printing of projections
using dot notation.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions