Dashboard
PHP:
8.2.30
OS:
Linux
User:
dh_nv8b2m
/
/
usr
/
share
/
vim
/
vim82
/
indent
📤 Upload
📝 New File
📁 New Folder
Close
Editing: mf.vim
" METAFONT indent file " Language: METAFONT " Maintainer: Nicola Vitacolonna <nvitacolonna@gmail.com> " Last Change: 2016 Oct 1 runtime! indent/mp.vim
Save
Cancel