diff options
Diffstat (limited to 'generated/manual-mach.inc.h')
| -rw-r--r-- | generated/manual-mach.inc.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generated/manual-mach.inc.h b/generated/manual-mach.inc.h index ddf31bc..c48e545 100644 --- a/generated/manual-mach.inc.h +++ b/generated/manual-mach.inc.h @@ -1,6 +1,6 @@ /* * IDENTIFICATION: - * stub generated Sun Feb 22 22:43:07 2015 + * stub generated Tue Feb 24 20:19:24 2015 * with a MiG generated by bootstrap_cmds-91 * OPTIONS: */ |