diff options
| author | Vasilij Schneidermann <mail@vasilij.de> | 2021-03-23 01:23:16 +0100 |
|---|---|---|
| committer | Vasilij Schneidermann <mail@vasilij.de> | 2021-03-23 01:29:59 +0100 |
| commit | 159682d99cace7d5954bddeab4543afd58109f29 (patch) | |
| tree | ef87e9a0d8cf0bd82bda17de8474eeba4a38be0b /TODO.org | |
| parent | b6138895ace3042ed78140b6f4859e544fbca27e (diff) | |
Verify shr-target-id property values before visit
Diffstat (limited to 'TODO.org')
0 files changed, 0 insertions, 0 deletions