Convert commas into dots
authorJoey Schulze <joey@infodrom.org>
Thu, 13 May 2010 20:02:00 +0000 (22:02 +0200)
committerJoey Schulze <joey@infodrom.org>
Thu, 13 May 2010 20:02:00 +0000 (22:02 +0200)
commite987f02efb67d84a3ad2b7a948cfb64b746bcf3a
tree521e2b6862ee3c80f922fe91256f9208bbf65af9
parent2b220a1f94659199ef7524e47087891de4d0f545
Convert commas into dots
masks/korrektur.php