summaryrefslogtreecommitdiffstats
path: root/devel/splint
AgeCommit message (Expand)Author
2019-05-25splint: Fix build against muslIsmael Luceno
2014-05-25devel/splint: fix dependency in Makefile.inFlorian Franzmann
2008-05-20splint 3.1.2Juuso Alasuutari
2006-10-03splint: [automated] Removed UPDATED.Juuso Alasuutari
2006-09-21splint: [automated] Removed BUILD_API=2.Juuso Alasuutari
2006-04-24sync devel/splint from testJeremy Blosser
2006-04-24sync ./devel/splint from stable-rc 0.4Jeremy Blosser
2006-04-24initial commit from stable 0.3root