Commit 541b2b8
committed
Remove an unused file
mostly to remove its containing
top-level directory named `doc`, which is
misleading.1 parent 8911fa6 commit 541b2b8
1 file changed
Lines changed: 0 additions & 15 deletions
This file was deleted.
1 parent 8911fa6 commit 541b2b8
1 file changed
0 commit comments