diff options
author | devhell <devhell@mailfresser.de> | 2020-02-22 14:53:24 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2020-02-22 14:53:24 +0000 |
commit | 5be00d875782a85d1f03f1dc0631e17f764ded91 (patch) | |
tree | e78c0a308f23538c0889194416e3184c8bc56dc8 /pkgs/profpatsch/dhallsh/List/filterOptional.dhall | |
parent | 363f289d92f2eec2d0493c3ad91b9753f3a4877c (diff) |
devhell: Replace chromium with brave
I'm quite tired and bored of things like [1]. I can't find evidence that Brave has implemented this, so Brave will replace Chromium. [1]: https://www.chromestatus.com/feature/4733392803332096
Diffstat (limited to 'pkgs/profpatsch/dhallsh/List/filterOptional.dhall')
0 files changed, 0 insertions, 0 deletions