Allan Odgaard 5c1eb0ae3e Use command name as title for output windows ...

The command can set a custom title so this is only for commands that doesn’t do that.

2013-01-25 13:15:36 +01:00

..

src

Use command name as title for output windows

2013-01-25 13:15:36 +01:00

target

Enable ARC by default

2012-12-19 19:42:36 +01:00