<p>Yes that's right.<br/><br/><font color='#888888'>Von meinem Androidgerät gesendet.</font><br/><br/>-----Original Message-----<br/>From: Alexander Wiebel &lt;<a href="mailto:wiebel@zib.de">wiebel@zib.de</a>&gt;<br/>To: OpenWalnut Developers &lt;<a href="mailto:openwalnut-dev@lists.informatik.uni-leipzig.de">openwalnut-dev@lists.informatik.uni-leipzig.de</a>&gt;<br/>Sent: Fr., 01 Jul <a href="tel:201122">2011 22</a>:51<br/>Subject: [OpenWalnut-Dev] bin/walnut ---&gt; bin/openwalnut ?<br/><br/>Hi,<br/>just to check: our executable is now bin/openwalnut instead of <br/>bin/walnut, right? If so I will change some wiki pages accordingly.<br/><br/>Cheers,<br/>Alex<br/>_______________________________________________<br/>OpenWalnut-Dev mailing list<br/><a href="mailto:OpenWalnut-Dev@lists.informatik.uni-leipzig.de">OpenWalnut-Dev@lists.informatik.uni-leipzig.de</a><br/><a href="http://lists.informatik.uni-leipzig.de/mailman/listinfo/openwalnut-dev">http://lists.informatik.uni-leipzig.de/mailman/listinfo/openwalnut-dev</a><br/></p>