| // WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry | |
| [[vkDestroyPipeline,vkDestroyPipeline]] | |
| [source,c++] | |
| ---- | |
| void vkDestroyPipeline( | |
| VkDevice device, | |
| VkPipeline pipeline, | |
| const VkAllocationCallbacks* pAllocator); | |
| ---- |