changeset 231 | 3b409238c9f9 |
parent 226 | e48bb0f52815 |
child 232 | 3433c1953c64 |
230:0decd945374e | 231:3b409238c9f9 |
---|---|
834 |
834 |
835 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
835 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
836 |
836 |
837 warning = element warning { warning.content } |
837 warning = element warning { warning.content } |
838 |
838 |
839 warning.content = text |
839 warning.content = inlines |