From 4c78d281744ab59597471264cc2acd938e69d0d1 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Mon, 20 Jan 2014 22:25:25 +0000 Subject: [PATCH] - gnunet-secretsharing-profiler.c should not have exec flag set --- src/secretsharing/gnunet-secretsharing-profiler.c | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 src/secretsharing/gnunet-secretsharing-profiler.c diff --git a/src/secretsharing/gnunet-secretsharing-profiler.c b/src/secretsharing/gnunet-secretsharing-profiler.c old mode 100755 new mode 100644 -- 2.25.1