This repository has been archived on 2023-03-02. You can view files and clone it, but cannot push or open issues or pull requests.
|
" Author : swytch
|
|
" Created : 06/05/2020
|
|
" License : GPLv3
|
|
" Description : verilog fietype config
|
|
|
|
noremap <leader><Enter> :w! \| :CoqRunToCursor<CR>
|