tried to change Jap to Jpn everywhere

2026-07-02 20:18:33 -06:00 · 2012-06-11 20:08:14 +00:00
parent 6944b8644d
commit 2df97cbeac
17 changed files with 55 additions and 51 deletions
@@ -1,3 +1,5 @@
+--# -path=.:../abstract:../common
+
 concrete AllJpn of AllJpnAbs = 
  LangJpn,
  ExtraJpn