bug-groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #60654] mdate.pl should use git modification times if possible


From: Dave
Subject: [bug #60654] mdate.pl should use git modification times if possible
Date: Sun, 23 May 2021 01:10:04 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Firefox/45.0

Follow-up Comment #2, bug #60654 (project groff):

[comment #1 comment #1:]
> Here's what I'm using for the time being, pretty much cribbed from
StackOverflow.

This unconditionally sets the date on the file, even if it has local changes
more recent than what's in git.  Is that the desired behavior?

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60654>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]