Skip to content

Fetch resources from external source

Jonas Nagstrup Terprequested to merge
external-fetching into main

This will fetch pdf files that are hosted on the website, and cut and convert useful text files into pdf files.

Merge request reports