diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2022-06-25 22:52:40 +0200 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-06-29 22:32:22 +1000 |
| commit | 9f63d98ee32b416fbb46eb22571084bb0a7c05ac (patch) | |
| tree | cfc4d2810adac466d0149eaa73861f06940ba6c5 /Config/Restricted.php | |
| parent | d64da811fa1086d34cf255ffd527bc567de1db44 (diff) | |
distros: align distro names
That will make the review easier when adding new distributions as
this makes mistakes more visible when two lines are almost identical but
one contains a mistake.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'Config/Restricted.php')
0 files changed, 0 insertions, 0 deletions