It is no longer used anywhere. Furthermore, the header it was declared in was not installed, so it can not be considered part of the public API.pull/30/merge
parent
8ad1964ec5
commit
317b2b7e92
2 changed files with 0 additions and 15 deletions
Loading…
Reference in new issue