diff options
| author | Matthieu Sozeau | 2013-11-25 17:22:26 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:58:56 +0200 |
| commit | cd11c5d2ff5d91603a6043a667e5918e99ef303a (patch) | |
| tree | 173990017678e28e3a4ff4f582a189d596cd1213 /plugins/syntax/string_syntax.ml | |
| parent | 6f54f7411f6e42298e833215fde9f38dd899e5dc (diff) | |
Fix printing of projections with implicits.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions