summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/dvidvi/README (renamed from Build/source/texk/dvidvi/read.me)0
1 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/dvidvi/read.me b/Build/source/texk/dvidvi/README
index 0aee6b45ed7..0aee6b45ed7 100644
--- a/Build/source/texk/dvidvi/read.me
+++ b/Build/source/texk/dvidvi/README