1. 9db913c sh: Add MigoR header file by Magnus Damm ยท 16 years ago