|
From: Mark W. <ma...@so...> - 2021-10-15 16:02:45
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=95468b34f128b9972a125cc4ce60f48e2db55759 commit 95468b34f128b9972a125cc4ce60f48e2db55759 Author: Mark Wielaard <ma...@kl...> Date: Fri Oct 15 18:00:52 2021 +0200 Remove executable bits from source files (drd_main.c, pub_tool_machine.h) Diff: --- drd/drd_main.c | 0 include/pub_tool_machine.h | 0 2 files changed, 0 insertions(+), 0 deletions(-) diff --git a/drd/drd_main.c b/drd/drd_main.c old mode 100755 new mode 100644 diff --git a/include/pub_tool_machine.h b/include/pub_tool_machine.h old mode 100755 new mode 100644 |