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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions