diff options
| author |  Lidi Zheng <lidiz@google.com> | 2018-12-12 10:24:47 -0800 |
|---|---|---|
| committer | Lidi Zheng <lidiz@google.com> | 2018-12-12 10:24:47 -0800 |
| commit | dbbb38215847d84f7a5544077024d5a21aed5a8d (patch) | |
| tree | ba031f5bb082533b117ce5b97201cd61cf018745 /doc/naming.md | |
| parent | ca728e2269ddc69c7aeddd279a9b5dff501c3cbf (diff) | |
Set CONFIG default value 'opt'
Diffstat (limited to 'doc/naming.md')
0 files changed, 0 insertions, 0 deletions