diff options
author | Max Wu | 2017-09-27 21:40:26 +0800 |
---|---|---|
committer | GitHub | 2017-09-27 21:40:26 +0800 |
commit | 8168615e1067773e25afc2918f50eb518f8bd379 (patch) | |
tree | ed677075d12b9713ff080f56be6ad7da3f5ca998 /lib/ot | |
parent | 2bdccd39964c8f6f643fd72ed7bdb648378068f8 (diff) | |
parent | 4ae8086301f3e07f8d1d910e8b80c739a76733a9 (diff) |
Merge pull request #541 from Stonesjtu/patch-1
Fix naming typo.
Diffstat (limited to 'lib/ot')
0 files changed, 0 insertions, 0 deletions