diff TOOLS/mpfc/mpfc-kr.c @ 12586:a900f5b7ab81

More consistent naming pointed out by Torinthiel.
author diego
date Mon, 14 Jun 2004 12:40:17 +0000
parents be5942e385e5
children
line wrap: on
line diff