From 5da334fc2efd66c8a5efde925bb18212c34d0cef Mon Sep 17 00:00:00 2001 From: Ahmed Irfan Date: Fri, 3 Jan 2014 10:54:30 +0100 Subject: makefile --- manual/make.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 manual/make.sh (limited to 'manual') diff --git a/manual/make.sh b/manual/make.sh old mode 100644 new mode 100755 -- cgit v1.2.3