> port-mips-jp -> port-mips-ja ? これはユーザーも少ないことなので、新設して適当に subscribe して もらうのでいいかなーと思っています。古いのは止めちゃうということ で。 ということでお願いします。めんどうなので私は初期状態で入れておい てください。:-) # やっと体調が戻ってきて nethack 以外のことができるようになった:-)