Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 0da7f66aa6 poll a git repo and invoke make if something changed master Peter J. Holzer 2022-10-22 22:40:46 +0200
• 548965d10e first commit Peter J. Holzer 2022-10-22 22:39:25 +0200