| Fri, 06 Aug 2010 14:35:04 +0200 | wenzelm | removed obsolete Goal.local_future_enforced: Toplevel.run_command is no longer interactive, so Goal.local_future_enabled is sufficient (cf. 349e9223c685 and e07dacec79e7); | changeset | files |
| Fri, 06 Aug 2010 12:38:02 +0200 | wenzelm | merged | changeset | files |
| Fri, 06 Aug 2010 11:37:33 +0200 | blanchet | merged | changeset | files |