bjz/gl-rs — pull request #6 by zeux (2013-09-28 12:07:49+00:00)
Title: Restore the option to generate complete GL API

Introduce --full option that generates the complete API dump, ignoring versions/profiles/extensions.

github is bad at visualizing indentation changes :(