Re: [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads Verilog mode.

[Stefan Monnier]

>>> -     ("\\.[ds]?vh?\\'" . verilog-mode)
>>> +     ("\\.[ds]?va?h?\\'" . verilog-mode)
>> BTW, .v is the standard extension used for Coq source files.
>> Is it also commonly used for Verilog files?
> Yes, .v is the most commonly used extension for Verilog.

Damn!

> Note .v isn't changed, it was Verilog previously.

Yes, I saw that, but I didn't know how important it was (hence the
question).

Thank you,


        Stefan