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

Re: [tlaplus] Re: Toolbox 1.5.0 release candidates



On 04.05.2015 09:51, Andrew Helwer wrote:
> Along the same lines of improving portability and version control system
> friendliness, what do you think about removing the default
> created/modified footer?

Hi Andrew,

when you create a spec, just delete the footer once and it's gone for
good. The Toolbox doesn't touch the footer when it's not there anymore.

Btw. for those wanting the footer, Toolbox 1.5.0 combines the footer
update and the actual change into a single undo keystroke (Ctrl-z).

Cheers
Markus