<div dir="ltr">Hello all,<br>I'm trying to make some changes 
to the file net.py in mininet directory, is there any need to reinstall 
mininet after that change?<br>because I tried ./install.sh -i in mini-ndn directory but the changes were not applied to the desired file<br>Thank you,<br>Sepehr<br clear="all"><br></div>