diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-02-23 15:21:52 +0100 |
|---|---|---|
| committer | Niklas Haas <git@nand.wakku.to> | 2014-02-23 15:21:52 +0100 |
| commit | 14531f7838c5abd0ba2aaf5217a477194d7b1897 (patch) | |
| tree | 193113d2e0c81bb918b5436f34618b5f4d5c2f77 /resources/html/Ocean.std-theme/minus.gif | |
| parent | 1944b94edca881d14e979d564719da6f196f8e63 (diff) | |
Make ImplicitParams render correctly (#260)
This introduces a new precedence level for single contexts (because
implicit param contexts always need parens around them, but other types
of contexts don't necessarily, even when alone)
Diffstat (limited to 'resources/html/Ocean.std-theme/minus.gif')
0 files changed, 0 insertions, 0 deletions