Rename dir_id to DIR_ID
It's a global constant, so it makes more sense to uppercase it.
Description
Description
Details
Details
- Provenance
vlorentz Authored on Mar 4 2022, 4:06 PM vlorentz Pushed on Mar 4 2022, 5:21 PM - Differential Revision
- D7297: Rename dir_id to DIR_ID
- Parents
- rDICPb84160621e62: vault: Un-nest checks
- Branches
- Unknown
- Tags
- Build Status
Buildable 27305 Build 42714: test-and-build Jenkins console · Jenkins