tree b5a2bed19c14c1142782f559c9532cf4e99f3fc7
parent f6ab0379cdffb2b676bc0b9f6cbad7ee05f48ad5
author Michael Jurka <mikejurka@google.com> 1495075438 -0700
committer Michael Jurka <mikejurka@google.com> 1495131724 -0700

Use correct extension number for Magma in vk.xml

Add instructions for auto-generating vulkan.h
and vulkan.hpp again in the future.

Change-Id: I214370cc0cfcb2e8231e1acee0b89ac6b6aea610