diff options
| author | Aman Gupta <aman@tmm1.net> | 2018-05-12 12:09:18 -0700 |
|---|---|---|
| committer | Aman Gupta <aman@tmm1.net> | 2018-05-12 12:09:20 -0700 |
| commit | cae004cabb6825bf17c5fa69feb037db2ea74911 (patch) | |
| tree | 486b627bf7205c3e6bbf26d95fbb708311d81a1e /tools | |
| parent | 7db022e67bab568a560c8bd55f5840e71a34dc15 (diff) | |
doc: fix incorrect reference to xsd_compliant option
reported by Mindless` on IRC
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions