diff options
Diffstat (limited to 'docs/repository-structure.txt')
-rw-r--r-- | docs/repository-structure.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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. |