30 Sep
2018
30 Sep
'18
10:25 p.m.
Hi, I'd like to rename icontract into pcontract to avoid name conflict with java's icontract library. Do you have any better suggestion? Thanks! Marko