diff options
| author | Emil Velikov <[email protected]> | 2016-08-25 16:59:00 +0100 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2016-10-06 15:03:46 +0100 |
| commit | 0728e2bb17040af808e2645fedfcf0d8739b2b96 (patch) | |
| tree | 8ef3c076d2fbbe4ea4a96dca1c4ecf02ee5a0b34 /.dir-locals.el | |
| parent | 96b9ec1ea3d7ab2e00ce3bea61520f6fa9dae5c0 (diff) | |
mapi/glapi: remove unused _glapi_check_table()
Similar to earlier commit - symbol was never part of the public API so
we're safe to remove it.
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions