really remove ldots, rdots, and vdots

19 years ago · 944dc7f0dc
parent 642f7c87ea
commit 944dc7f0dc
6 changed files with 0 additions and 0 deletions
--- a/ldots.jpg
+++ b/ldots.jpg
--- a/ldots_a.jpg
+++ b/ldots_a.jpg
--- a/rdots.jpg
+++ b/rdots.jpg
--- a/rdots_a.jpg
+++ b/rdots_a.jpg
--- a/vdots.jpg
+++ b/vdots.jpg
--- a/vdots_a.jpg
+++ b/vdots_a.jpg