Merge "[CherryPick] [WEBGL] Rename WEBKIT_WEBGL_compressed_texture_s3tc to WEBGL_comp...
authorHeejin Chung <heejin.r.chung@samsung.com>
Thu, 11 Jul 2013 08:46:50 +0000 (08:46 +0000)
committerGerrit Code Review <gerrit@gerrit.vlan144.tizendev.org>
Thu, 11 Jul 2013 08:46:50 +0000 (08:46 +0000)

Trivial merge