diff help_mp-no.h @ 3838:0fdab5847f76

fixes a problem with undefined types (harmless anyway)
author pl
date Fri, 28 Dec 2001 18:14:23 +0000
parents fe4e66b588cc
children 6796d0307dfa
line wrap: on
line diff