diff options
| author | Théo Zimmermann | 2019-05-23 20:11:52 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-23 20:11:52 +0200 |
| commit | 2f5a1a2d846e65b7e6bcf76ab374b0290662a27f (patch) | |
| tree | 72272f85e2967cdebbd1d5ee6d03e620977b9579 /dev/tools/pre-commit | |
| parent | 6dadcffd83b034c177d1e8d2153b51e306138333 (diff) | |
| parent | 15891b8179a82884bf72df8c7d7d696d29f53434 (diff) | |
Merge PR #10227: Update `Bind Scope` documentation to reflect dynamic binding semantics.
Ack-by: Zimmi48
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions