Rename 0487-whitespace.md to whitespace.md

Per discussion with @stasm and @eemeli post-call, we're removing the numbering.
unicode-org · Oct 9, 2023 · 987f828 · 987f828
1 parent 58987ff
commit 987f828
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/exploration/0487-whitespace.md → exploration/whitespace.md b/exploration/0487-whitespace.md → exploration/whitespace.md