diff options
Diffstat (limited to 'h/rpki')
| -rw-r--r-- | h/rpki/sk_manifest.h | 2 | ||||
| -rw-r--r-- | h/rpki/sk_roa.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/h/rpki/sk_manifest.h b/h/rpki/sk_manifest.h index 01bcb15f..ead7cbe4 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.awk 3985 2011-09-15 00:04:23Z sra $ + * Generator $Id: defstack.py 4725 2012-09-19 21:28:34Z sra $ */ #ifndef __RPKI_MANIFEST_H__DEFSTACK_H__ diff --git a/h/rpki/sk_roa.h b/h/rpki/sk_roa.h index 6232b5a8..cb5c5e17 100644 --- a/h/rpki/sk_roa.h +++ b/h/rpki/sk_roa.h @@ -1,6 +1,6 @@ /* * Automatically generated, do not edit. - * Generator $Id: defstack.awk 3985 2011-09-15 00:04:23Z sra $ + * Generator $Id: defstack.py 4725 2012-09-19 21:28:34Z sra $ */ #ifndef __RPKI_ROA_H__DEFSTACK_H__ |