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.
2020-05-24 00:36:26 +02:00
|
|
|
" verilog fietype config
|
2020-06-25 18:19:40 +02:00
|
|
|
" Licence MIT
|
2020-05-06 03:20:19 +02:00
|
|
|
|
|
|
|
noremap <leader><Enter> :w! \| :CoqRunToCursor<CR>
|