Skip to content

Makefile: finish gitea-* -> processgit-* rename in release targets#124

Merged
rg4444 merged 1 commit into
mainfrom
slice-1/makefile-rename
May 22, 2026
Merged

Makefile: finish gitea-* -> processgit-* rename in release targets#124
rg4444 merged 1 commit into
mainfrom
slice-1/makefile-rename

Commits

Commits on May 22, 2026