Merge pull request #95 from bertsky/update-ocrd

update Manager+Monitor
slub · Dec 15, 2023 · 059edd8 · 059edd8
2 parents b8ca1e8 + 09b442f
commit 059edd8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/_modules/ocrd_manager b/_modules/ocrd_manager
diff --git a/_modules/ocrd_monitor b/_modules/ocrd_monitor
+4 −1		.env.example
+40 −0		.github/workflows/test-ci.yml
+6 −7		Dockerfile
+21 −0		LICENSE
+1 −1		Makefile
+7 −0		README.md
+3 −3		ocrd_lib.sh
+2 −4		ocrd_logging.conf