summaryrefslogtreecommitdiff
path: root/tools (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-23fix preprocess_filesGravatar Vincent Rischmann1-2/+2
2023-05-17Fix build failures on latest ZigGravatar Lue1-1/+1
2022-09-18add a tool to preprocess filesGravatar Vincent Rischmann1-0/+254
2021-10-18remove the tools directoryGravatar Vincent Rischmann2-36/+0
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