diff options
author | http://jeremie.koenig.myopenid.com/ <jk@web> | 2011-07-22 02:09:20 +0200 |
---|---|---|
committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2011-07-22 02:09:20 +0200 |
commit | 63293246d06784612c7dd991eb5575885910b7bb (patch) | |
tree | f0118f5846aebbfca01d21d6f56311789ef632b7 /unsorted/OskitMachPatches/patch-gnumach_softclock-wagi.diff.gz | |
parent | 793a7d109946d4cfe49ea614b8e0757735414184 (diff) |
recommend sync prior to halt
Diffstat (limited to 'unsorted/OskitMachPatches/patch-gnumach_softclock-wagi.diff.gz')
0 files changed, 0 insertions, 0 deletions