diff options
Diffstat (limited to 'h/rpki/sk_manifest.h')
| -rw-r--r-- | h/rpki/sk_manifest.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/h/rpki/sk_manifest.h b/h/rpki/sk_manifest.h index 59ff80a5..48ad6317 100644 --- a/h/rpki/sk_manifest.h +++ b/h/rpki/sk_manifest.h @@ -1,6 +1,6 @@ /* * Automatically generated, do not edit. - * Generator $Id: defstack.py 4878 2012-11-15 22:13:53Z sra $ + * Generator $Id: defstack.py 6152 2015-10-26 06:29:00Z sra $ */ #ifndef __RPKI_MANIFEST_H__DEFSTACK_H__ |