OK
Chris
On 27/7/2022 7:30 pm, Sebastian Huber wrote:
> Update #4679.
> ---
> c-user/task/directives.rst | 25 -
> 1 file changed, 20 insertions(+), 5 deletions(-)
>
> diff --git a/c-user/task/directives.rst b/c-user/task/directives.rst
> index 64b591d..b78aaa9 100644
>
Update #4679.
---
c-user/task/directives.rst | 25 -
1 file changed, 20 insertions(+), 5 deletions(-)
diff --git a/c-user/task/directives.rst b/c-user/task/directives.rst
index 64b591d..b78aaa9 100644
--- a/c-user/task/directives.rst
+++ b/c-user/task/directives.rst
@@ -80