On Friday 22 February 2019 12:57:05 Myself wrote:
> In order to simplify rule files, it's worth to use more of the provided
> rule file option macros PTXdist already provides.
>
> Signed-off-by: Juergen Borleis
> ---
> doc/dev_manual.rst | 22 --
> 1 file changed, 8 insertions
In order to simplify rule files, it's worth to use more of the provided
rule file option macros PTXdist already provides.
Signed-off-by: Juergen Borleis
---
doc/dev_manual.rst | 22 --
1 file changed, 8 insertions(+), 14 deletions(-)
diff --git a/doc/dev_manual.rst b/doc/dev