Skip to content
Snippets Groups Projects

doc: add needed script to EXTRA_DIST

Passed
Hugo Beauzée-Luyssen created pipeline for commit 550ef563
, finished
For master
19 jobs 53 minutes 38 seconds, queued for 10 seconds