set editor to 'vim'
[lab.git] / TipAndDoc / boot /
drwxr-xr-x   ..
-rw-r--r-- 4170 grub.cfg