summaryrefslogtreecommitdiff
path: root/tools/debian
AgeCommit message (Expand)Author
2015-10-30debian: sync debian files with debian git repositorySébastien Helleu
2015-10-24core: add a script tools/build-debian.sh to build stable/devel Debian packagesSébastien Helleu