diff options
author | 2008-02-18 16:10:30 +0000 | |
---|---|---|
committer | 2008-02-19 19:06:03 +0000 | |
commit | 31069ada015a6914c4659c6b9632f0221fcdd6a4 (patch) | |
tree | e921c2875379e25c3a79deee594379c64d322118 /tree-layout.tex | |
parent | can -> may (diff) | |
download | pms-31069ada015a6914c4659c6b9632f0221fcdd6a4.tar.gz pms-31069ada015a6914c4659c6b9632f0221fcdd6a4.tar.bz2 pms-31069ada015a6914c4659c6b9632f0221fcdd6a4.zip |
mirror:// mapping to mirror:// is undefined
Diffstat (limited to 'tree-layout.tex')
-rw-r--r-- | tree-layout.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tree-layout.tex b/tree-layout.tex index 83248ca..4a32505 100644 --- a/tree-layout.tex +++ b/tree-layout.tex @@ -141,7 +141,7 @@ URIs in the subsequent fields have \t{filename} appended to them to generate the download is attempted. Each mirror name may appear at most once in a file. Behaviour when a mirror name appears multiple -times is undefined. +times is undefined. Behaviour when a mirror is defined in terms of another mirror is undefined. \subsection{use.desc and related files} \label{use.desc} |