summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCharles Plessy <plessy@debian.org>2013-08-11 14:57:10 +0900
committerCharles Plessy <plessy@debian.org>2013-08-11 14:57:10 +0900
commit34ab5a199293dace44dfa82e4712928729dd8685 (patch)
tree142422f27486c26f8ce88b11ccfff0a2d3c126aa
parent31e86e1379e5cc98df4128a92acc6b97231544d0 (diff)
Make executable.
-rwxr-xr-x[-rw-r--r--]kernel-hook/pv-grub-menu0
1 files changed, 0 insertions, 0 deletions
diff --git a/kernel-hook/pv-grub-menu b/kernel-hook/pv-grub-menu
index 63bded4..63bded4 100644..100755
--- a/kernel-hook/pv-grub-menu
+++ b/kernel-hook/pv-grub-menu