diff options
| author | Anton Trunov | 2019-05-29 15:17:39 +0300 |
|---|---|---|
| committer | Anton Trunov | 2019-05-29 15:17:39 +0300 |
| commit | 42db44ce8df9f24d90c321d57e81e2d5bf83bd48 (patch) | |
| tree | c928479b8231901da1cfb4efece42ebe2d419da7 /docs | |
| parent | 1aa27b589c437b88cc6fb556edfceac42da449ea (diff) | |
Replace eqVneq with eqPsym
Also changed eqsVneq.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions