|
| From: | Samuel Thibault |
| Subject: | Re: [PATCH] Install port-deref-deferred.h header for ports.h |
| Date: | Thu, 10 Sep 2015 19:53:06 +0200 |
| User-agent: | Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30) |
James Clarke, le Thu 10 Sep 2015 11:59:04 +0100, a écrit : > * libports/Makefile (installhdrs): Add port-deref-deferred.h for ports.h Applied, thanks! Samuel
| [Prev in Thread] | Current Thread | [Next in Thread] |