change character encoding of source file from 8859-1 to utf-8
authorFraxinas <andreas.frisch@multimedia-labs.de>
Mon, 8 Dec 2008 13:50:20 +0000 (14:50 +0100)
committerFraxinas <andreas.frisch@multimedia-labs.de>
Mon, 8 Dec 2008 13:50:20 +0000 (14:50 +0100)
commit91f1726f99acf507973513a7203cbd1306275718
tree47a25899bf23ac900e0e1ed7c334fd669438401a
parent9920b499d772afe24a40b71c8dfdd4e11bdfcf8e
change character encoding of source file from 8859-1 to utf-8
lib/python/Tools/NumericalTextInput.py