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 /src/libstore/remote-store.cc | |
| parent | 73728874ab89d77bce3b103acb239d4d5eec14b1 (diff) | |
| parent | 171d784404fefa7c91e2082f92ec92c39cc1aa8e (diff) | |
Merge pull request #3056 from grahamc/operators
operators: document exact precedence, split up similar operators
Diffstat (limited to 'src/libstore/remote-store.cc')
0 files changed, 0 insertions, 0 deletions