diff options
| author | Emil Velikov <[email protected]> | 2018-11-19 14:19:03 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2019-01-24 18:13:25 +0000 |
| commit | bba375c0160391225584b5a153c8d9febb8d2d9c (patch) | |
| tree | a1fbc69e118780cfc9b3318b823dafc13be7129f /include/GL | |
| parent | 06eb3fe371a140d271604886c034494b0e07489b (diff) | |
mapi/new: sort by slot number
Makes it easier to compare the newly generated header against the old
one. Will be reverted after the transition.
Diffstat (limited to 'include/GL')
0 files changed, 0 insertions, 0 deletions