If so, I don't know of it. Agreed that such a beastie should exist.
> On Jan 9, 2019, at 3:12 PM, Marcus <marcus.m...@wtnet.de> 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 <matthias.sei...@hamburg.de> >>>> wrote: >>>> >>>> 9800 > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org > For additional commands, e-mail: dev-h...@openoffice.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org
