plcapi-5.2-10
object c0ca16bb442f609ea3f75f3893c2573641c88371
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 10 Oct 2013 15:44:22 +0000 (17:44 +0200)
Setting tag plcapi-5.2-10
provide a slicename_to_hrn function