Removed etc. from abbreviations file.
Reason: often etc. ends a sentence, and we want the . to
be treated as a sentence-ending period.
commit8d31e000101dde596d623391870da674fca6d0d9
authorJohn MacFarlane <jgm@berkeley.edu>
dateThu 9 Nov 2017, 23:23 (9 years ago)
parent1592d38
data/abbreviations−1
@@ -12,7 +12,6 @@ Dec.
1212Dr.
1313e.g.
1414esp.
15−etc.
1615Feb.
1716Gen.
1817Gov.