Skip to content

fixed typo in 3.3 #26

Merged
merged 1 commit into from Oct 26, 2019
Merged

fixed typo in 3.3 #26

merged 1 commit into from Oct 26, 2019

Commits on Oct 23, 2019

  1. fixed typo in 3.3

    amended type "is is" in 3.3
    charle44 committed Oct 23, 2019