Generalize doc name.

bigladder · Oct 23, 2023 · 91d067c · 91d067c
1 parent 5e3d3b8
commit 91d067c
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/style.md → doc/guidelines.md b/doc/style.md → doc/guidelines.md