media/extensions
tonihei edbc2046e2 Clean-up manifest merge attributes.
1. Remove tools:replace in manifest files. This attribute is only needed to establish priority when two manifests are merged and have the same attribute with different values.
As this is not happening here, the attributes can be removed.

2. Some BUILD files also define a deprecated manifest merge strategy different from the android default merge strategy. For consistency these are set to "android'.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=158075128
2017-06-06 16:38:45 +01:00
..
cronet Clean-up manifest merge attributes. 2017-06-06 16:38:45 +01:00
ffmpeg Misc cleanup for merged pull requests 2017-04-21 18:09:01 +01:00
flac Clean-up manifest merge attributes. 2017-06-06 16:38:45 +01:00
gvr Fully reset AudioProcessors on releasing AudioTrack 2017-04-18 19:40:05 +01:00
ima Shorten the player type 2017-05-31 11:26:55 +01:00
okhttp Generate combined Javadoc 2017-03-22 19:11:28 +00:00
opus Clean-up manifest merge attributes. 2017-06-06 16:38:45 +01:00
vp9 Clean-up manifest merge attributes. 2017-06-06 16:38:45 +01:00