diff3のオプションを変更