Delete github distrib'r files

AlCutter · Dec 11, 2023 · cbce48b · cbce48b
1 parent b0499dc
commit cbce48b
Show file tree

Hide file tree

Showing 24 changed files with 0 additions and 1,531 deletions.
diff --git a/serverless/deploy/github/distributor/README.md b/serverless/deploy/github/distributor/README.md
diff --git a/serverless/deploy/github/distributor/combine_witness_signatures/Dockerfile b/serverless/deploy/github/distributor/combine_witness_signatures/Dockerfile
diff --git a/serverless/deploy/github/distributor/combine_witness_signatures/README.md b/serverless/deploy/github/distributor/combine_witness_signatures/README.md