diff options
author | Rob Austein <sra@hactrn.net> | 2008-01-26 02:42:48 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2008-01-26 02:42:48 +0000 |
commit | c73cea1829135747bc3331b663cd4460e81538b7 (patch) | |
tree | c0c2e87a61b9fe72775c438fdb855399215bcace /docs/rpki-db-schema.pdf | |
parent | e7ccb7bf1e215cd8e7b523a2e40a67ca420353c1 (diff) |
Remove unused ca_detail.state_timer
svn path=/docs/rpki-db-schema.pdf; revision=1508
Diffstat (limited to 'docs/rpki-db-schema.pdf')
-rw-r--r-- | docs/rpki-db-schema.pdf | bin | 5229 -> 5219 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/rpki-db-schema.pdf b/docs/rpki-db-schema.pdf Binary files differindex 0b3d87cf..e7e4ddb4 100644 --- a/docs/rpki-db-schema.pdf +++ b/docs/rpki-db-schema.pdf |