| Tue, 08 Dec 2009 23:45:42 +0100 | wenzelm | renamed "raw output" to "protocol"; | changeset | files |
| Tue, 08 Dec 2009 23:18:07 +0100 | wenzelm | proper actor wiring for raw process output; | changeset | files |
| Tue, 08 Dec 2009 23:15:59 +0100 | wenzelm | misc tuning; | changeset | files |
| Tue, 08 Dec 2009 22:38:32 +0100 | wenzelm | prefer options from running application; | changeset | files |