diff options
Diffstat (limited to 'docs/repository-structure.txt')
| -rw-r--r-- | docs/repository-structure.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/repository-structure.txt b/docs/repository-structure.txt index 85f5621c..003f3b52 100644 --- a/docs/repository-structure.txt +++ b/docs/repository-structure.txt @@ -1,4 +1,5 @@ -$Id$ +$URL$ +$Revision$ This note is an attempt to write up the conclusions that several of us came to at the RPKI meeting in Prague, March 2007. |