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 | |
| 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')
0 files changed, 0 insertions, 0 deletions