diff options
Diffstat (limited to 'docs/manifest-format.txt')
| -rw-r--r-- | docs/manifest-format.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index c76df801..21f19db6 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
| @@ -38,6 +38,7 @@ following DTD: | |||
| 38 | <!ELEMENT default (EMPTY)> | 38 | <!ELEMENT default (EMPTY)> |
| 39 | <!ATTLIST default remote IDREF #IMPLIED> | 39 | <!ATTLIST default remote IDREF #IMPLIED> |
| 40 | <!ATTLIST default revision CDATA #IMPLIED> | 40 | <!ATTLIST default revision CDATA #IMPLIED> |
| 41 | <!ATTLIST default sync-j CDATA #IMPLIED> | ||
| 41 | 42 | ||
| 42 | <!ELEMENT manifest-server (EMPTY)> | 43 | <!ELEMENT manifest-server (EMPTY)> |
| 43 | <!ATTLIST url CDATA #REQUIRED> | 44 | <!ATTLIST url CDATA #REQUIRED> |