Commit be36edbd authored by Antonio Terceiro's avatar Antonio Terceiro

Merge branch 'generate-apt-sources' into 'master'

debci-generate-apt-sources: Add and use a script to generate sources.list

Closes #77

See merge request !89
parents 8036d911 bfb40303
Pipeline #60481 passed with stage
in 10 minutes and 30 seconds