diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-08-23 14:36:23 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-08-23 14:36:23 +0200 |
| commit | f9774ded37946ec5147fb1a1fa6d4897fda8ed9d (patch) | |
| tree | cd36c28c26ee322210c7213fbc1c8694bdd2aa35 /doc/cs/ads | |
| parent | b231cc94df3d533ac323ec562e8e8a193084302d (diff) | |
enforce syntax of reserve_uri (typo)
Diffstat (limited to 'doc/cs/ads')
0 files changed, 0 insertions, 0 deletions