Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Branding in settings and history pages #212

Merged
merged 3 commits into from
Jul 3, 2018
Merged

Branding in settings and history pages #212

merged 3 commits into from
Jul 3, 2018

Commits on Jul 1, 2018

  1. add brave_page_visibility.js

    @yrliou
    yrliou committed Jul 1, 2018
    Configuration menu
    Copy the full SHA
    45c8a93 View commit details
    Browse the repository at this point in the history

  2. hide syncedTabs href in chrome://history and sign in disabled by devi… 

    …ce admin message in people page
    @yrliou
    yrliou committed Jul 1, 2018
    Configuration menu
    Copy the full SHA
    091d23a View commit details
    Browse the repository at this point in the history

  3. Add browser_resources.grd generated by l10nUtil.js

    @yrliou
    yrliou committed Jul 1, 2018
    Configuration menu
    Copy the full SHA
    fc76973 View commit details
    Browse the repository at this point in the history