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.mdwn | |
parent | 7f9e0764e40a5987ba1172a2f26fce17ab81279d (diff) |
public_hurd_boxen/domu_console: Start the domU if it isn't running already.
Diffstat (limited to 'history.mdwn')
0 files changed, 0 insertions, 0 deletions