summaryrefslogtreecommitdiff
path: root/tools/Dockerfile.debian (unfollow)
Commit message (Expand)AuthorFilesLines
2021-10-18remove the tools directoryGravatar Vincent Rischmann1-18/+0
2021-03-13tools: copy the c directory before since it basically never changesGravatar Vincent Rischmann1-1/+1
2021-03-13add two dockerfiles to build with debian and fedoraGravatar Vincent Rischmann1-0/+18