• Xavier Thompson's avatar
    Rename 'locked' qualifiers · 34924021
    Xavier Thompson authored
    This commit introduces the following changes:
    - 'locked' becomes 'lock'
    - 'locked&' becomes 'locked'
    - references reachable from a locked reference are noted as 'lock->'
    34924021
Parsing.py 132 KB