diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-02-12T12·43+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-03-14T13·10+0100 |
| commit | ef52ccf035fe0bcd78226891022171a28dd6fcbe (patch) | |
| tree | 25ca43089e573e826fd8341a2a436a93076c26d8 /doc/manual/schemas.xml | |
| parent | 86f3b94c8c28defd7402245d60af15ce429986ff (diff) | |
experimental/optional -> optional
Diffstat (limited to 'doc/manual/schemas.xml')
0 files changed, 0 insertions, 0 deletions