I didn't know that the datetime string in _remote.repositories was an artifact of the behavior of a JDK class (or Properties.store(), more specifically). Interesting. That also implies it is not processed by anything. Thanks.
- Eric L On Tue, Jun 6, 2023 at 6:30 PM Michael Osipov <[email protected]> wrote: > Am 2023-06-06 um 14:14 schrieb Eric Lilja: > > Hello everyone, the timestamp (e.g., #Tue Jun 06 01:59:04 CEST 2023) in > the > > _remote.repositories file, is that just for human consumption or is it > > processed? If only as a courtesy for humans, can its generation be > disabled > > somehow? > > 5 seconds of Google: https://stackoverflow.com/q/6184335/696632 > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
