diff options
Diffstat (limited to 'app/nginx/docs/dtd/change_log_conf.dtd')
| -rw-r--r-- | app/nginx/docs/dtd/change_log_conf.dtd | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/app/nginx/docs/dtd/change_log_conf.dtd b/app/nginx/docs/dtd/change_log_conf.dtd deleted file mode 100644 index 40a0123..0000000 --- a/app/nginx/docs/dtd/change_log_conf.dtd +++ /dev/null @@ -1,22 +0,0 @@ - -<!ELEMENT configuration (length, start, indent, changes+) > - -<!ELEMENT length (#PCDATA) > -<!ELEMENT start (#PCDATA) > -<!ELEMENT indent (#PCDATA) > - -<!ELEMENT changes (title, length, - bugfix, feature, change, workaround, - (month, month, month, month, month, month, - month, month, month, month, month, month)?) > - -<!ATTLIST changes lang ( ru | en) #REQUIRED> - -<!ELEMENT title (#PCDATA) > - -<!ELEMENT bugfix (#PCDATA) > -<!ELEMENT feature (#PCDATA) > -<!ELEMENT change (#PCDATA) > -<!ELEMENT workaround (#PCDATA) > - -<!ELEMENT month (#PCDATA) > |