diff options
author | Veronika Romashkina <vrom911@gmail.com> | 2020-12-08 15:36:16 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-08 16:36:16 +0100 |
commit | ef73ba4440da1acdf2a61e94f1549aa95cdb9137 (patch) | |
tree | e13d7079f94062aa8c1f3163cd8d2cc059b90dd8 /latex-test/src/Deprecated/Deprecated.hs | |
parent | 6328b5a8ed7315ff60c34e0b6cbc94a7094f4053 (diff) |
Use gender neutral word in docs (#1260)
Diffstat (limited to 'latex-test/src/Deprecated/Deprecated.hs')
0 files changed, 0 insertions, 0 deletions