diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-10-05 14:49:37 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-10-05 14:50:16 +0200 |
| commit | 79cdd566c5194a8ce0a21d3bbb72f9a7d25ea530 (patch) | |
| tree | d1a01e8b4c63f5c7e9e564f7de86d960835198d5 /generate_interface_redir_pages | |
| parent | 7795eaf0e452da24f7302c132fc6ca7f9460a0c7 (diff) | |
public_hurd_boxen/xen_handling: About ``xm shutdown''.
Diffstat (limited to 'generate_interface_redir_pages')
0 files changed, 0 insertions, 0 deletions