diff options
| author | Andrea Perotti <andreamtp+git@goodfellow.it> | 2023-10-19 17:03:11 +0200 |
|---|---|---|
| committer | Andrea Perotti <andreamtp+git@goodfellow.it> | 2023-10-19 17:03:11 +0200 |
| commit | 8a063f6b4bf26dee1d32c0e4a67059d60f8a64d7 (patch) | |
| tree | 474835efab94591c527a4035cd509f1fbdc9ab49 /config/dependencies/mint | |
| parent | 6758b5c85d92caa421aaffe495d0fba123b28d98 (diff) | |
Fix Debian/Ubuntu dependencies
Dependencies for Debian/Ubuntu and derived distros are now deduplicated and sorted.
Added target for Linux Mint as well.
Diffstat (limited to 'config/dependencies/mint')
| l--------- | config/dependencies/mint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/dependencies/mint b/config/dependencies/mint new file mode 120000 index 00000000..b2f7fd3e --- /dev/null +++ b/config/dependencies/mint @@ -0,0 +1 @@ +debian
\ No newline at end of file |