diff options
author | Linus Nordberg <linus@nordberg.se> | 2021-05-04 14:53:00 +0200 |
---|---|---|
committer | Linus Nordberg <linus@nordberg.se> | 2021-05-04 14:53:16 +0200 |
commit | a30eb85272010ffbcfd3fb2c6932dc2f15d596c1 (patch) | |
tree | 933ac828770f144d311c66325b67cfd01d4ed883 /doc/claimant.md | |
parent | c82c4e1266c5e8fbe08cb0f6140caea2723ef205 (diff) |
get rid of the underspecified term "ordinary users"
Diffstat (limited to 'doc/claimant.md')
0 files changed, 0 insertions, 0 deletions