Greg King 735f0cda25 Added Github action steps that update the online documentation repo.

2022-07-21 03:24:16 +02:00

..

checks

add check for +x flag

2022-07-21 03:22:52 +02:00

workflows

Added Github action steps that update the online documentation repo.

2022-07-21 03:24:16 +02:00