00de3e8f99 · Vorlesung 16.02.2010 · 最后更新于 2010-02-16 10:22:17 +00:00
删除分支是永久的。虽然已删除的分支在实际被删除前有可能会短时间存在,但这在大多数情况下无法撤销。是否继续?