Re: On making times=true the default
Tõivo Leedjärv <[email protected]> Thu, 16 Jan 2025 18:37:27 +0100
| Newsgroups | gmane.network.unison.devel |
|---|---|
| Message-ID | <CAALvpZQrsgq_iSN2USB8HqzGAFesoxH5jZCmxUjBw5mZRjvaVQ@mail.gmail.com> |
The old TODO.txt also has some tips on this topic. https://urldefense.com/v3/__https://github.com/bcpierce00/unison/blob/2056f067c8a8b7e5c8d6bfaac9ab6102fe179c0e/src/TODO.txt*L314-L320__;Iw!!IBzWLUs!W-ejJ0PyCv7Z9sHUTCt0XA4hLm3SVA_LC0kCHxaVeBbRpbRFTUdfm4kgQHRZP6rdSh5kz-2Qw_Y07exsbKVG6nznDyA$ https://urldefense.com/v3/__https://github.com/bcpierce00/unison/blob/2056f067c8a8b7e5c8d6bfaac9ab6102fe179c0e/src/TODO.txt*L494-L495__;Iw!!IBzWLUs!W-ejJ0PyCv7Z9sHUTCt0XA4hLm3SVA_LC0kCHxaVeBbRpbRFTUdfm4kgQHRZP6rdSh5kz-2Qw_Y07exsbKVGNckS2P8$ https://urldefense.com/v3/__https://github.com/bcpierce00/unison/blob/2056f067c8a8b7e5c8d6bfaac9ab6102fe179c0e/src/TODO.txt*L620-L626__;Iw!!IBzWLUs!W-ejJ0PyCv7Z9sHUTCt0XA4hLm3SVA_LC0kCHxaVeBbRpbRFTUdfm4kgQHRZP6rdSh5kz-2Qw_Y07exsbKVG7lSbGWM$