mirror of
https://github.com/nhammer514/textfiles-politics.git
synced 2024-10-01 01:15:38 -04:00
7 lines
179 B
Plaintext
7 lines
179 B
Plaintext
start = xml
|
|
xml = element xml {p+}
|
|
p = element p {mixed{(special | info)*}}
|
|
special = element special {text}
|
|
info = element info {type, text}
|
|
type = attribute type {"Message-ID"}
|