dotfiles/.config/.old/nvim_0.4.4/after/ftplugin/verilog.vim

" Author        : swytch
" Created       : 06/05/2020
" License       : GPLv3
" Description   : verilog fietype config

noremap <leader><Enter> :w! \| :CoqRunToCursor<CR>
feat: update neovim ftplugins headers 2020-09-03 14:28:52 +02:00			`" Author : swytch`
			`" Created : 06/05/2020`
legal: change license to GPLv3 in script headers Kept wondering wether I should keep the MIT (because I highly value freedom of act) or embrace the GPL (because I don't want this work to become close-source). I do understand that this commit (and the next one that is actually changing the LICENSE) is a defeat for freedom. I guess freedom has been defeated long time ago, when people and companies figured that was "free" (as in gratis) was also "free" (as in disposable). This is not how I think free (as in "libre") works but hey, that surely is how Intel and other corporations see it (ec: Intel Management Engine is entirely based on Minix, is close-source, and maybe used as a backdoor by anybody). It boils down to the Paradox of Tolerance, and I surely won't tolerate shit going their way. If you want to take open source stuff, be my guest ; but you have to play by the rules. 2021-02-15 00:37:34 +01:00			`" License : GPLv3`
feat: update neovim ftplugins headers 2020-09-03 14:28:52 +02:00			`" Description : verilog fietype config`
init repo 2020-05-06 03:20:19 +02:00
			`noremap <leader><Enter> :w! \\| :CoqRunToCursor<CR>`