标签

标签使您能够将历史中的特定点标记为重要点

v1.0

97b5e6f3 · 再次修正: 应对 }% 而非 } 的情形 · 4月 29, 2021

既然要让别人用这套快捷键, 那还是区分一下不同的版本吧.
现在这个版本姑且算初始版本, 已经能用的啦.