Re: [splint-discuss] Invalid character error

2003-07-14 Thread Miroslaw Dobrzanski-Neumann
On Mon, Jul 14, 2003 at 07:45:15AM +0200, Peter Busser wrote: Hi! This problem can also come up in UNIX and Windows systems, if you accidentally type a space after the backslash. In most editors it is hard to see blanks at the ends of lines. In vi you can do the following (in command

Re: [splint-discuss] (sp)lint book chapter

2004-01-08 Thread Miroslaw Dobrzanski-Neumann
I'd like to. Regards Mirosaw On Wed, Jan 07, 2004 at 04:11:42PM +0100, Jens Krinke wrote: Hi, the 2nd edition of the german book open source programming tools has a new chapter about splint. The book is now being translated and for that reason we are looking for a native speaker