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-05-20 17:03:00 +02:00
|
|
|
" Licence GPLv3
|
2020-05-06 03:20:19 +02:00
|
|
|
|
|
|
|
noremap <leader><Enter> :w! \| :CoqRunToCursor<CR>
|