aboutsummaryrefslogtreecommitdiffstats
path: root/project.properties
diff options
context:
space:
mode:
authorDaniel Gultsch <daniel.gultsch@rwth-aachen.de>2014-04-11 09:13:56 +0200
committerDaniel Gultsch <daniel.gultsch@rwth-aachen.de>2014-04-11 09:13:56 +0200
commit51100ab48b94c55f8cce981c422e50a607f261ad (patch)
treef23ad4ad4e8256dd0db7deca347364bbdc76a295 /project.properties
parent644473205ab261157f500470d496999db665d75f (diff)
failed messages get now marked inline
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions