This repository has been archived by the owner. It is now read-only.
Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Move the disabled extensions to a separate list #20
Original issue reported on code.google.com by