From f46fb2e7edfd3325441e0d79f16a7f6559ff6365 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= Date: Fri, 22 Jan 2021 15:34:07 +0100 Subject: set executable perms --- src/utils/backtrace | 0 src/utils/pintos-gdb | 0 src/utils/pintos-mkdisk | 0 3 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 src/utils/backtrace mode change 100644 => 100755 src/utils/pintos-gdb mode change 100644 => 100755 src/utils/pintos-mkdisk diff --git a/src/utils/backtrace b/src/utils/backtrace old mode 100644 new mode 100755 diff --git a/src/utils/pintos-gdb b/src/utils/pintos-gdb old mode 100644 new mode 100755 diff --git a/src/utils/pintos-mkdisk b/src/utils/pintos-mkdisk old mode 100644 new mode 100755 -- cgit v1.2.1