Re: reduce.py with newline in the end

[Aurélien Bénel]

> my editors (gedit, nano) add a newline to the end of the reduce.py file


Too bad it is not necessary anymore... it would have been a good reason to 
switch to vim and its noeol option ;)

Aurélien