summaryrefslogtreecommitdiff
path: root/tools (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-10-18remove the tools directoryGravatar Vincent Rischmann2-36/+0
this isn't used
2021-03-13tools: copy the c directory before since it basically never changesGravatar Vincent Rischmann2-2/+2
2021-03-13add two dockerfiles to build with debian and fedoraGravatar Vincent Rischmann2-0/+36