mostly remove is_web #7408

Merged
jessopb merged 1 commit from no-more-is-web into master 2022-01-07 20:02:34 +01:00

1 commit

Author SHA1 Message Date
zeppi
0b6ccc0969 mostly remove is_web 2022-01-07 13:09:44 -05:00