Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

F2 to rename #1922

Merged
merged 1 commit into from
Oct 23, 2012
Merged

F2 to rename #1922

merged 1 commit into from
Oct 23, 2012

Commits on Oct 23, 2012

  1. F2 to rename

    zanqi committed Oct 23, 2012
    Configuration menu
    Copy the full SHA
    a46cb10 View commit details
    Browse the repository at this point in the history