poll a git repo and invoke make if something changed

2022-10-22 22:40:46 +02:00 · 2022-10-22 22:39:25 +02:00 · 2022-10-22 22:40:46 +02:00
diff --git a/Peter J. Holzer b/Peter J. Holzer
Peter J. Holzer 0da7f66aa6 poll a git repo and invoke make if something changed		2022-10-22 22:40:46 +02:00
README.md	first commit	2022-10-22 22:39:25 +02:00
pull-and-make	poll a git repo and invoke make if something changed	2022-10-22 22:40:46 +02:00