diff options
| author | Cyril Cohen | 2020-08-17 16:46:39 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-17 16:46:39 +0200 |
| commit | 4483643abc825566a687c9b3db859e65133f1e57 (patch) | |
| tree | 7a5b54f484a227a02c8cc27d153f95ea996f146b /.github/pull_request_template.md | |
| parent | ecf208b1d15aba433f3f11cc87b17a1b48c4d8df (diff) | |
| parent | b73b31cdbd8e6255c3769dfe2306929792bfadb2 (diff) | |
Merge pull request #547 from pi8027/qualified-dual-op
Qualify the dual_* notations with the Order module
Diffstat (limited to '.github/pull_request_template.md')
0 files changed, 0 insertions, 0 deletions