Skip to content

Remove extension from scripts

Ian Jackson requested to merge Diziet/arti:script-filenames into main

As per #309 (closed)

I don't think I can sensibly test this locally. We'll see what the CI says.

Merge request reports