scripts: Remove unreleased extension names
authorMike Schuchardt <mikes@lunarg.com>
Wed, 28 Feb 2018 21:24:26 +0000 (14:24 -0700)
committerMike Schuchardt <mikes@lunarg.com>
Fri, 9 Mar 2018 20:54:31 +0000 (13:54 -0700)
commit9908d57f0e9a5efd6488260b1b5bd8002a4b13e8
tree206a8a8fbf6bc0c15ca57d4c319cf13c9a0c1efd
parent938f556c1f7a8b5d554624039f60b4e433515b18
scripts: Remove unreleased extension names

Change-Id: Ia0270edcd17a8b8a33e390f781b7357208e7a676
scripts/unique_objects_generator.py