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

For #6210: Graying out "Update" for "dev" extensions #6222

Merged
merged 2 commits into from
Jan 15, 2014
Merged

For #6210: Graying out "Update" for "dev" extensions #6222

merged 2 commits into from
Jan 15, 2014

Commits on Dec 10, 2013

  1. Graying out "Update" for "dev" extensions

    Marcel Gerber committed Dec 10, 2013
    Configuration menu
    Copy the full SHA
    dfa3f1f View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2014

  1. Better handling of allowUpdate

    Marcel Gerber committed Jan 3, 2014
    Configuration menu
    Copy the full SHA
    3266e55 View commit details
    Browse the repository at this point in the history