If so, I don't know of it. Agreed that such a beastie should exist.
> On Jan 9, 2019, at 3:12 PM, Marcus <[email protected]> wrote: > > Am 09.01.19 um 20:44 schrieb Matthias Seidel: >> There is more than minor.mk. >> I will try to take care of it... > > hm, don't we have now a little script for this? To identify all the places > that need tobe changed? IMHO it should be somewhere in devtools. > > Marcus > > > >> Am 09.01.19 um 20:41 schrieb Jim Jagielski: >>> All done >>> >>>> On Jan 9, 2019, at 2:21 PM, Matthias Seidel <[email protected]> >>>> wrote: >>>> >>>> 9800 > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
