commit | b623c3bec0a15e1f4a9ba77404f82878b0cc3734 | [log] [tgz] |
---|---|---|
author | Markus Keller <mkeller> | Fri Mar 16 18:15:59 2012 +0100 |
committer | Markus Keller <mkeller> | Fri Mar 16 18:15:59 2012 +0100 |
tree | 7dca062777f570707fdf1963480e03b313140bd0 | |
parent | 7bbe9b200e2038f2a18dd4bf9b010385f95ab3de [diff] |
don't make differences bold (this can destroy indentation, etc.)