RE: Default name of target executable

28 Oct
2005
28 Oct
'05
11:40 a.m.
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
7192
Age (days ago)
7192
Last active (days ago)
0 comments
1 participants
participants (1)
-
Simon Marlow