### BEGIN /etc/grub.d/46_custom_proxy ###

# This file provides an easy way to add custom menu entries.  Simply type the
# menu entries you want to add after this comment.  Be careful not to change
# the 'exec tail' line above.
if [ "${grub_platform}" == "efi" ]; then
fi

### END /etc/grub.d/46_custom_proxy ###