diff options
| author | Han Kang <hankang@google.com> | 2021-02-04 08:15:30 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-04 08:15:30 -0800 |
| commit | f7f69ff66a7391c0e84a8676ad695e2abf4673ff (patch) | |
| tree | a722a70fa433a27503ad31be3f9065a6d28bfbcd /github-management | |
| parent | 81ece459498964d18159d00948bd4edb849bc8c1 (diff) | |
Update instrumentation.md
Use prescribed naming conventions in the example for prescribed naming conventions.
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions