diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-08-27T15·12+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-27T15·12+0200 |
commit | 177e5742fa732856f358cfb1b22b7575e94e9bb3 (patch) | |
tree | f53ff3a14d198452408b0ee26fa1369253f12f4f /local.mk | |
parent | 73728874ab89d77bce3b103acb239d4d5eec14b1 (diff) | |
parent | 171d784404fefa7c91e2082f92ec92c39cc1aa8e (diff) |
Merge pull request #3056 from grahamc/operators
operators: document exact precedence, split up similar operators
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions