diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-06-02 13:10:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-02 13:10:27 +0200 |
commit | 527eb4a99a1901de17aec9833f7076ad7729656e (patch) | |
tree | 7d971c1f6558a2e6d15aa47662e2057b7aa42240 /contrib | |
parent | 27f82ef4a8fc589738ef06040dad5c0e214f97aa (diff) | |
parent | d8bfeda1643f434ae015caa4f59d9f4b7f4270d7 (diff) |
Merge pull request #8317 from fricklerhandwerk/doc-identifier
document identifier syntax for attribute sets
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions