metafun.mp /size: 119 b    last modification: 2025-02-21 11:03
1if known metafunversion : endinput ; fi ;
2
3if known mplib :
4    input metafun.mpiv
5else :
6    input metafun.mpii
7fi ;
8
9