You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Ole Krüger b729a2e291 Use a safer sed command to avoid locale issues ... On some locales awk will generate commas instead of dots in the percentage. This will mess up the sed command. Instead of forcing awk to always generate dots we can simply cange the sed command to treat commas as regular text.		7 years ago
..
kaleidoscope-builder	Use a safer sed command to avoid locale issues	7 years ago