Rename consistently: "History" for the normal revision history, "Revision…

Authored by zwabel on Aug 18 2012, 3:16 PM.

Description

Rename consistently: "History" for the normal revision history, "Revision Graph" for the git revision graph with branches etc.

Details

Committed
zwabelAug 18 2012, 3:16 PM
Parents
R32:e5c7af72d0f6: This completes commit 91da12250193e51197c982d57984228, sorry.
Branches
Unknown
Tags
Unknown