Auteur: anonym Date: À: The Tails public development discussion list Sujet: Re: [Tails-dev] [review'n'merge:1.3]
bugfix/8699-only-create-timestamps-in-Jenkins
On 19/01/15 14:16, intrigeri wrote: > Hi,
>
> since the .{src,bin}pkgs stuff was merged, our build system is leaving
> .{start,end}.timestamp files around, which are useless in most cases.
> anonym has complained about it, so here's a branch that only generates
> these files when building from Jenkins.
