tree 72161a7c160d4c49b70c0991b69db71d1a1de046
parent 72b3e80625b6706edc1204fe1015b21c8d8300b8
author Patrick Lam <plam@MIT.EDU> 1142438373 +0000
committer Patrick Lam <plam@MIT.EDU> 1142438373 +0000

Fix typos in orth files. Reported by Denis Jacquerye.