diff options
| author | tijl <tijl@FreeBSD.org> | 2016-10-19 00:03:30 +0800 |
|---|---|---|
| committer | tijl <tijl@FreeBSD.org> | 2016-10-19 00:03:30 +0800 |
| commit | 371a713bbbbfa0dd2fada07b5ec8c9cf1186d49b (patch) | |
| tree | 3f5694f23fb486a9ff1da42347752fe7a7a79db8 /lang/fsharp/Makefile | |
| parent | e6aa29a4b590bdb7c65033154cb1cdc02d535d50 (diff) | |
| download | freebsd-ports-gnome-371a713bbbbfa0dd2fada07b5ec8c9cf1186d49b.tar.gz freebsd-ports-gnome-371a713bbbbfa0dd2fada07b5ec8c9cf1186d49b.tar.zst freebsd-ports-gnome-371a713bbbbfa0dd2fada07b5ec8c9cf1186d49b.zip | |
Fix build with oRTP 0.27.0.
Diffstat (limited to 'lang/fsharp/Makefile')
0 files changed, 0 insertions, 0 deletions