widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

Yes please. 


> Am 08.12.2014 um 12:15 schrieb GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>:
> 
> I did run it with sh explicitly, because otherwise I got a "permission denied" error. After the chmod, it is now working.
> 
> Do you still want me to change from cd to pushd?
> -- 
> https://code.launchpad.net/~widelands-dev/widelands/bug-1219914/+merge/242772
> Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1219914.
> 
> _______________________________________________
> Mailing list: https://launchpad.net/~widelands-dev
> Post to     : widelands-dev@xxxxxxxxxxxxxxxxxxx
> Unsubscribe : https://launchpad.net/~widelands-dev
> More help   : https://help.launchpad.net/ListHelp

-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1219914/+merge/242772
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1219914.