diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2014-02-14 14:19:53 +0100 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:58:57 +0200 |
commit | df5e18302e113370906d9ca0b2a2e96dcaccbf0a (patch) | |
tree | f2610a6048d872247575abd7c9dfe2c9e0873254 /dev/top_printers.ml | |
parent | 98e9c806dee5ab8c3430000a9a9fd5d478662ae6 (diff) |
Honor the Opaque flag for projections in simpl.
Diffstat (limited to 'dev/top_printers.ml')
0 files changed, 0 insertions, 0 deletions