aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorCyril Cohen2020-08-13 17:19:16 +0200
committerGitHub2020-08-13 17:19:16 +0200
commit6bb890c906f8cf9b9abfcca5e28921edf3a349a4 (patch)
treee4a9ae5d2fea50b1c604601d5179cd2fb73991b1 /docs
parent2cf06c995a7f1c77e758d5ffd10e70e4a71e77f5 (diff)
parent2d4885d8902280b487535c7dfc3db69c1f95443e (diff)
Merge pull request #553 from chdoc/non-reversible-notation
fix non-reversible-notation warnings
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions