Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
extending [2016/09/24 08:13] dokuadmin ↷ Page moved from pdf:extending to extending |
extending [2016/09/24 08:13] dokuadmin ↷ Links adapted because of a move operation |
||
---|---|---|---|
Line 147: | Line 147: | ||
=== The type: pragma === | === The type: pragma === | ||
- | Mandatory is the ''< | + | Mandatory is the ''< |
=== The documentation pragma === | === The documentation pragma === |