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-oldstyle.fmt | |
| parent | de75ee59d9af36621d545b560d6b3415a9a2a40a (diff) | |
Fixing file permissions
Diffstat (limited to 'sample-oldstyle.fmt')
| -rw-r--r--[-rwxr-xr-x] | sample-oldstyle.fmt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/sample-oldstyle.fmt b/sample-oldstyle.fmt index d0d8f17..d0d8f17 100755..100644 --- a/sample-oldstyle.fmt +++ b/sample-oldstyle.fmt | |||