Frederik Rietdijk 35395c7410 python: jedi: 0.13.2 -> 0.13.3		2019-04-18 12:42:40 +02:00
..
applications	zotero: 5.0.60 -> 5.0.66	2019-04-18 08:43:31 +02:00
build-support
common-updater
data
desktops
development	python: jedi: 0.13.2 -> 0.13.3	2019-04-18 12:42:40 +02:00
games
misc
os-specific
servers
shells
stdenv
test
tools	yubico-piv-tool: 1.6.2 -> 1.7.0	2019-04-18 08:50:21 +02:00
top-level