Tweak lang/dlv version 20121217
authorDPorts Builder <nobody@home.ok>
Tue, 28 Jan 2014 23:14:30 +0000 (15:14 -0800)
committerDPorts Builder <nobody@home.ok>
Tue, 28 Jan 2014 23:14:30 +0000 (15:14 -0800)
commitd4691c6bae3dec3c562c1c502da971eef2b27634
tree0e67654a60ee76c9623a608bb33555d65095ddd4
parent92a554e6685d6ac147c3ddd02d721e039d714b7c
Tweak lang/dlv version 20121217
lang/dlv/Makefile