From: Shuhao Zhang <594422141@qq.com>
Date: Fri, 26 Jul 2019 14:46:12 +0000 (+0800)
Subject: Merge pull request #1446 from OI-wiki/Enter-tainer-patch-1
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=f413c2a5801ff143c43cc3a705d4708d51045123;p=oi-wiki%2Fmain.git

Merge pull request #1446 from OI-wiki/Enter-tainer-patch-1

fix(treap): 修复错别字
---

f413c2a5801ff143c43cc3a705d4708d51045123