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