f955f2fa56 · Fixed long lines and simp lemmas without names. · 更新於 2020-07-22 21:11:21 +00:00
f5af1116db · Added missing character data stuff. · 更新於 2019-12-11 20:39:26 +00:00
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?