diff options
author | James Clarke <jrtc27@jrtc27.com> | 2015-09-10 11:59:04 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-09-10 19:52:54 +0200 |
commit | 5e8e02f53c47bcf108c64263249795f702b8b19a (patch) | |
tree | 9976e6a479201cd697ba6ae99fdbcb6dae8ce213 /libshouldbeinlibc | |
parent | 87a79cbf282e97a7e729205d7cb19182c298474a (diff) |
Install port-deref-deferred.h header for ports.h
* libports/Makefile (installhdrs): Add port-deref-deferred.h for ports.h
Diffstat (limited to 'libshouldbeinlibc')
0 files changed, 0 insertions, 0 deletions