summaryrefslogtreecommitdiff
path: root/package/divine
AgeCommit message (Expand)Author
2012-03-11packages: remove redundant INSTALL_TARGET=YES declarationsGustavo Zacarias
2011-09-29package: remove useless arguments from AUTOTARGETSThomas Petazzoni
2009-09-11divine: new packageSven Neumann