diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-14 14:18:53 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-15 00:03:31 +0100 |
| commit | b68dd2e1894450dd69ffddf05a45c40e6c01a36a (patch) | |
| tree | a08d5005f4b46dfa2fe9180250541eb6851ee905 /main | |
| parent | 6e73aa0497b9cfc1c28863e655991106e677e69c (diff) | |
Add an XML schema for documentation
This makes it easier to spot syntax errors when editing the
class reference. The schema is referenced locally so validation
can still work offline.
Each class XML's schema conformance is also checked on GitHub Actions.
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions