Tweak devel/splint version 3.1.2
authorDPorts Builder <nobody@home.ok>
Tue, 26 Nov 2013 15:45:59 +0000 (07:45 -0800)
committerDPorts Builder <nobody@home.ok>
Tue, 26 Nov 2013 15:45:59 +0000 (07:45 -0800)
commit7cc931e008c41c7f2356dd5c2b46622c3b855851
tree8704e181750d6ec0e72cfa1b1462972ff517cf43
parent65ee200019c25de09452d862a842b7e5d8170586
Tweak devel/splint version 3.1.2
devel/splint/Makefile
devel/splint/pkg-plist