From 213f951dbb2a855366f27dd258b6b07f078ca945 Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Wed, 10 Aug 2022 16:50:42 +0200 Subject: [PATCH] Make gas diff stats script executable. --- scripts/gas_diff_stats.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/gas_diff_stats.py diff --git a/scripts/gas_diff_stats.py b/scripts/gas_diff_stats.py old mode 100644 new mode 100755