Hi Roland & list,
it took some time to come back to this finally...
On Wed, Jul 19, 2017 at 10:30:35AM +0200, Roland Hieber wrote:
> Some more changes you could include:
>
> On 18.07.2017 15:27, Ulrich Ölmann wrote:
> > [...]
> > -PTXdist is a tool which creates all the required parts of a
Some more changes you could include:
On 18.07.2017 15:27, Ulrich Ölmann wrote:
> Signed-off-by: Ulrich Ölmann
> ---
> doc/daily_work.inc | 134
> -
> 1 file changed, 71 insertions(+), 63 deletions(-)
>
> diff --git
Signed-off-by: Ulrich Ölmann
---
doc/daily_work.inc | 134 -
1 file changed, 71 insertions(+), 63 deletions(-)
diff --git a/doc/daily_work.inc b/doc/daily_work.inc
index 460693021606..46c4852c2547 100644
---