Add tools:keep to plugin prefs to avoid false-positive lint

Authored by nicolasfella on Apr 19 2019, 7:37 PM.

Description

Add tools:keep to plugin prefs to avoid false-positive lint

Details

Committed
nicolasfellaApr 19 2019, 7:37 PM
Parents
R225:edc04f41a646: Remove unneeded file
Branches
Unknown
Tags
Unknown