Probably my mail client added it while attaching the file. I'm not sure. Best regards, Daniel
On Wed, 14 Oct 2015 at 09:54 Daniel Kho <[email protected]> wrote: > Hi Bram, > Sure, you can remove the $ld line. Interestingly, it didn't show up on my > system anyway. > > Best regards, > Daniel > > On Tue, 13 Oct 2015 at 19:49 Bram Moolenaar <[email protected]> wrote: > >> >> Daniel Kho wrote: >> >> > Hi Bram, >> > I've made some updates to vhdl.vim. Below is a list of the changes: >> > - Added new VHDL-2008 types >> > - Removed non-standard block attributes >> > - Removed duplicate entries under "type attributes" >> > - Added new VHDL-2008 attributes >> > - Overhaul of VHDL operators. Added list of valid operators, and added >> > linting to check for illegal operators. >> > - Added FIXME >> > - Added industry standard (commonly used, but not part of IEEE standard) >> > preprocessor directives >> >> Thanks. I'll include the diff and update the date in the header. >> >> Can we remove that $Id line? Looks like it's just a leftover from and >> old version control system. >> >> >> -- >> hundred-and-one symptoms of being an internet addict: >> 32. You don't know what sex three of your closest friends are, because >> they >> have neutral nicknames and you never bothered to ask. >> normal GA<CR><Esc> >> >> /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net >> \\\ >> /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ >> \\\ >> \\\ an exciting new programming language -- http://www.Zimbu.org >> /// >> \\\ help me help AIDS victims -- http://ICCF-Holland.org >> /// >> > -- > > Best regards, > Daniel > - Sent from my Samsung mobile - > -- Best regards, Daniel - Sent from my Samsung mobile - -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
