tiny wording changes

This commit is contained in:
rob committed 2019-06-19 20:07:13 +02:00
1 parent 9fdefdf4ad
commit 6d3b5d939d
9 files changed
+10 -10

No files matched your search

-1
View File
@@ -15,4 +15,3 @@
## Intermediate documents:
*.dvi
*-converted-to.*
<<<<<<< HEAD