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	…