remove unneeded file

microsoft · Oct 31, 2023 · 54b51dd · 54b51dd
1 parent ebc0dc7
commit 54b51dd
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/docs/design/temp.md b/docs/design/temp.md