diff options
| author | pb <pb@FreeBSD.org> | 2009-12-08 22:11:20 +0800 |
|---|---|---|
| committer | pb <pb@FreeBSD.org> | 2009-12-08 22:11:20 +0800 |
| commit | 50ec0ecc16f7d463b891438f4eaa28ff1cfe83ad (patch) | |
| tree | 33dbf922930bd3b9306b76bd43ca849ab8a1b51f /lang/ocamlduce/Makefile | |
| parent | 1d8446700af4f6f564919b4af0072c4df1762777 (diff) | |
| download | freebsd-ports-gnome-50ec0ecc16f7d463b891438f4eaa28ff1cfe83ad.tar.gz freebsd-ports-gnome-50ec0ecc16f7d463b891438f4eaa28ff1cfe83ad.tar.zst freebsd-ports-gnome-50ec0ecc16f7d463b891438f4eaa28ff1cfe83ad.zip | |
Fix compilation problem with Fribidi.
PR: ports/138470, ports/141007
Submitted by: Dima Panov <fluffy@fluffy.khv.ru>, <hawei@free.fr>
Diffstat (limited to 'lang/ocamlduce/Makefile')
0 files changed, 0 insertions, 0 deletions