claudiiii 7c11d007cd element-desktop, element-web: 1.7.0 -> 1.7.1		2020-07-16 23:17:09 +02:00
..
element-desktop-package.json
element-desktop-yarndeps.nix
element-desktop.nix
element-web.nix
update-element-desktop.sh