diff options
| author | 2019-07-09 02:25:36 +0000 | |
|---|---|---|
| committer | 2019-07-09 02:25:36 +0000 | |
| commit | 188236ff23c062384ddd1ec762e5a4aa915c448a (patch) | |
| tree | ecc940e86018e897d30b9a3ee4dea4c000e30911 /scripts/jsonmodify.py | |
| parent | fccc52f46bdfcbfc371659731cea1f795b041063 (diff) | |
| parent | ebd757d609e98da62fb7e2e0a3e1063e3808a270 (diff) | |
Merge "Document how properties work in defaults modules."
Diffstat (limited to 'scripts/jsonmodify.py')
0 files changed, 0 insertions, 0 deletions