From: Aleksy Grabowski <hurufu@gmail.com>
Date: Fri, 12 Jul 2024 19:15:32 +0000 (+0200)
Subject: Remove executable bit for files that don't need it
X-Git-Tag: v0.10.0~113^2~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6f0c7f42c6a94b866876644de01800582a52fc21;p=scryer-prolog.git

Remove executable bit for files that don't need it
---

diff --git a/.dockerignore b/.dockerignore
old mode 100755
new mode 100644
diff --git a/Dockerfile b/Dockerfile
old mode 100755
new mode 100644