wpetit 93a8977aeb ci: add jenkins pipeline		2023-08-23 12:08:09 -06:00
..
changelog.mk	fix(changelog): add missing task dependency	2023-08-23 12:06:20 -06:00
checkmake.mk	ci: add jenkins pipeline	2023-08-23 12:08:09 -06:00
gitea.mk	feat(gitea-release): automatically add tools directory to git ignored files	2023-08-23 11:42:53 -06:00
webdav.mk	feat: initial commit	2023-08-21 20:32:16 -06:00