Nik Everett 81a7607256 Remove -Xlint:-deprecation from plugins
Instead we suppress warnings about using deprecated stuff near the usage
site with a comment about why its ok.
2016-01-07 20:44:46 -05:00
..
2016-01-06 23:28:13 -05:00
2016-01-06 23:53:05 -05:00
2016-01-06 23:53:05 -05:00
2016-01-06 16:08:10 +01:00
2015-12-02 10:22:52 +01:00
2015-12-18 12:43:47 -08:00