diff options
author | delphij <delphij@FreeBSD.org> | 2013-10-21 14:25:48 +0800 |
---|---|---|
committer | delphij <delphij@FreeBSD.org> | 2013-10-21 14:25:48 +0800 |
commit | 2317f60396081885d3c708580ac8fa2403dfaace (patch) | |
tree | 61a550fcbb6adb9c4ea6d9ffd00f5e8017749ef8 /benchmarks/hs-criterion | |
parent | 64e5e89d2d33d3db6f9f9a0df3ca1e59cee45b16 (diff) | |
download | freebsd-ports-gnome-2317f60396081885d3c708580ac8fa2403dfaace.tar.gz freebsd-ports-gnome-2317f60396081885d3c708580ac8fa2403dfaace.tar.zst freebsd-ports-gnome-2317f60396081885d3c708580ac8fa2403dfaace.zip |
Fix build with -CURRENT.
PR: ports/182397
Submitted by: Sten Spans <sten blinkenlights nl> (partially)
Diffstat (limited to 'benchmarks/hs-criterion')
0 files changed, 0 insertions, 0 deletions