diff options
| author | mergify[bot] | 2022-01-20 07:42:53 +0000 |
|---|---|---|
| committer | GitHub | 2022-01-20 07:42:53 +0000 |
| commit | a0798dceae8734bc273692edec585ed072b01b47 (patch) | |
| tree | 4fd9a2480c5b10c4dfcfa33de0774bb0c4ed648c /core/src/main | |
| parent | 042be4b2d8a846d12c5c5dfd64f10b5caee93125 (diff) | |
Fix link to Naming Cookbook (#2356) (#2357)
#naming implies within the current file. Removing the # refers to a file in the current directory.
(cherry picked from commit 512ddd6c8b079dd83f2a3ed793e6595822a382cb)
Co-authored-by: Jack Koenig <koenig@sifive.com>
Diffstat (limited to 'core/src/main')
0 files changed, 0 insertions, 0 deletions