On 07 Nov 2016, at 16:43 , Lawrence Velázquez <[email protected]> wrote:
> No, we should absolutely forbid "$Id$" lines. New ports should not have > them. +1 This goes back to CVS. Who needs that? That’s what “git log -1 FILENAME” is for! :)
On 07 Nov 2016, at 16:43 , Lawrence Velázquez <[email protected]> wrote:
> No, we should absolutely forbid "$Id$" lines. New ports should not have > them. +1 This goes back to CVS. Who needs that? That’s what “git log -1 FILENAME” is for! :)