diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2022-06-25 22:52:41 +0200 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-06-29 22:32:53 +1000 |
| commit | 71f53b7022db9f838720aef598c31da24b3ea5fc (patch) | |
| tree | a13d4d3508bcf7d7a002e3cb416aa257a049f6db /Library/Request.php | |
| parent | 9f63d98ee32b416fbb46eb22571084bb0a7c05ac (diff) | |
distros: align distro id_order and active field
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 'Library/Request.php')
0 files changed, 0 insertions, 0 deletions