Skip to content
Snippets Groups Projects

deb_series: rename from debseries for consistency

Merged Jakub Ružička requested to merge deb_series into master
  1. Jan 27, 2025