diff options
| -rw-r--r-- | docs/left-right-protocol | 2 | ||||
| -rw-r--r-- | docs/publication-protocol | 2 | ||||
| -rw-r--r-- | docs/repository-structure.dot | 2 | ||||
| -rw-r--r-- | docs/repository-structure.txt | 2 | ||||
| -rw-r--r-- | docs/signing-engine-protocol | 2 | ||||
| -rw-r--r-- | docs/up-down-protocol | 2 | ||||
| -rw-r--r-- | docs/whiteboard-object-model.dot | 2 |
7 files changed, 7 insertions, 7 deletions
diff --git a/docs/left-right-protocol b/docs/left-right-protocol index 1eddff66..5d100707 100644 --- a/docs/left-right-protocol +++ b/docs/left-right-protocol @@ -1,6 +1,6 @@ ;;; -*- Lisp -*- ;;; $URL$ -;;; $Revision$ +;;; $Id$ ;;; ;;; Scratch pad for working out API design for RPKI engine. ;;; diff --git a/docs/publication-protocol b/docs/publication-protocol index 7227051b..ee54b62e 100644 --- a/docs/publication-protocol +++ b/docs/publication-protocol @@ -1,6 +1,6 @@ ;;; -*- Lisp -*- ;;; $URL$ -;;; $Revision$ +;;; $Id$ ;;; ;;; Scratch pad for working out API design for RPKI engine. ;;; diff --git a/docs/repository-structure.dot b/docs/repository-structure.dot index 51abfeaa..5e7cad6b 100644 --- a/docs/repository-structure.dot +++ b/docs/repository-structure.dot @@ -1,5 +1,5 @@ // $URL$ -// $Revision$ +// $Id$ // // Pictures to go with repository-structure.txt. First picture is rekeying b with // a g(ski)/g(ski)/g(ski).cer model, second is with stable meaningless identifiers. diff --git a/docs/repository-structure.txt b/docs/repository-structure.txt index 003f3b52..9f0a562b 100644 --- a/docs/repository-structure.txt +++ b/docs/repository-structure.txt @@ -1,5 +1,5 @@ $URL$ -$Revision$ +$Id$ This note is an attempt to write up the conclusions that several of us came to at the RPKI meeting in Prague, March 2007. diff --git a/docs/signing-engine-protocol b/docs/signing-engine-protocol index 48659b22..7e754564 100644 --- a/docs/signing-engine-protocol +++ b/docs/signing-engine-protocol @@ -1,6 +1,6 @@ ;;; -*- Lisp -*- ;;; $URL$ -;;; $Revision$ +;;; $Id$ ;;; ;;; Scratch pad for working out API design for RPKI engine. ;;; diff --git a/docs/up-down-protocol b/docs/up-down-protocol index 033883c3..5bcb00af 100644 --- a/docs/up-down-protocol +++ b/docs/up-down-protocol @@ -1,5 +1,5 @@ $URL$ -$Revision$ +$Id$ Terminology diff --git a/docs/whiteboard-object-model.dot b/docs/whiteboard-object-model.dot index ba8487f7..e1b89c61 100644 --- a/docs/whiteboard-object-model.dot +++ b/docs/whiteboard-object-model.dot @@ -1,5 +1,5 @@ // $URL$ -// $Revision$ +// $Id$ // This is an attempt to capture // http://subvert-rpki.hactrn.net/docs/prague-whiteboard-2007-03-22-23:15:01.jpg |