-
Maxime Perrotin authored
checking that if PI and RI have different names, the corresponding port names follow
5ce2e7ed
To learn more about this project, read the wiki.
checking that if PI and RI have different names, the corresponding port names follow