diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-07-07 23:01:17 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-07-07 23:01:17 +0200 |
| commit | 9fd7165a8f586fef8034f50adfc5fa09622f5976 (patch) | |
| tree | e7320bfbb299a852e50e039f837b49828e9d046a /history/hurd-announce2 | |
| parent | 7f9e0764e40a5987ba1172a2f26fce17ab81279d (diff) | |
public_hurd_boxen/domu_console: Start the domU if it isn't running already.
Diffstat (limited to 'history/hurd-announce2')
0 files changed, 0 insertions, 0 deletions