diff options
author | Thomas Huth <thuth@redhat.com> | 2018-05-07 16:32:34 +0200 |
---|---|---|
committer | Thomas Huth <thuth@redhat.com> | 2018-09-25 17:26:18 +0200 |
commit | 55d38d10b84a256ca80484eb5114a4824608b85e (patch) | |
tree | c59ba4bdb09af1ff9cf323e4bb48b64b71255fad /replay | |
parent | 1e7ec6cf067025552bb10def7c49f4527d2f035f (diff) |
trivial: Make bios files and source files non-executable
These files can not be executed on the host, so they should not be
marked as executable.
Reviewed-by: David Hildenbrand <david@redhat.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to 'replay')
-rw-r--r--[-rwxr-xr-x] | replay/replay-char.c | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/replay/replay-char.c b/replay/replay-char.c index 736cc8c2e6..736cc8c2e6 100755..100644 --- a/replay/replay-char.c +++ b/replay/replay-char.c |