diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-25 11:59:31 +0200 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-25 11:59:31 +0200 |
commit | 87cf1ee9e8da4fd5d77b06be621e560866b7a710 (patch) | |
tree | 082a068a345e647d0d79a6b75a9239f8be3e1641 /sample-erdgeist.fmt | |
parent | de75ee59d9af36621d545b560d6b3415a9a2a40a (diff) |
Fixing file permissions
Diffstat (limited to 'sample-erdgeist.fmt')
-rw-r--r--[-rwxr-xr-x] | sample-erdgeist.fmt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/sample-erdgeist.fmt b/sample-erdgeist.fmt index 7545d3d..7545d3d 100755..100644 --- a/sample-erdgeist.fmt +++ b/sample-erdgeist.fmt | |||