RE: Default name of target executable

On 24 October 2005 21:45, Tomasz Zielonka wrote:

On 10/24/05, Tomasz Zielonka wrote:

...

Here is the patch.

Again, with a small bugfix in docs.

Thanks; now committed. Cheers, Simon