diff options
Diffstat (limited to 'docs/manifest-format.txt')
| -rw-r--r-- | docs/manifest-format.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index 4484d803..77784099 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
| @@ -27,7 +27,8 @@ following DTD: | |||
| 27 | remove-project*, | 27 | remove-project*, |
| 28 | project*, | 28 | project*, |
| 29 | extend-project*, | 29 | extend-project*, |
| 30 | repo-hooks?)> | 30 | repo-hooks?, |
| 31 | include*)> | ||
| 31 | 32 | ||
| 32 | <!ELEMENT notice (#PCDATA)> | 33 | <!ELEMENT notice (#PCDATA)> |
| 33 | 34 | ||