Workspace of edu-packages_sid_desktop-profiles on Built-In Node

	.git
	debian
	tests
	20desktop-profiles_activateDesktopProfiles	12 Nov 2019, 18:21:15	19.02 KiB
	desktop-profiles	12 Nov 2019, 18:21:15	3.79 KiB
	desktop-profiles_pshrc.pl	12 Nov 2019, 18:21:15	1.01 KiB
	desktop-profiles_zoidrc.pl	12 Nov 2019, 18:21:15	866 B
	desktop-profiles.7	12 Nov 2019, 18:21:15	11.55 KiB
	desktop-profiles.csh	12 Nov 2019, 18:21:15	793 B
	desktop-profiles.fish	12 Nov 2019, 18:21:15	785 B
	dh_installlisting	12 Nov 2019, 18:21:15	2.85 KiB
	dh_installlisting.1	12 Nov 2019, 18:21:15	5.06 KiB
	get_desktop-profiles_variables	12 Nov 2019, 18:21:15	1.09 KiB
	LICENCE	12 Nov 2019, 18:21:15	17.58 KiB
	list-desktop-profiles	12 Nov 2019, 18:21:15	4.60 KiB
	list-desktop-profiles.1	12 Nov 2019, 18:21:15	4.82 KiB
	listingmodule	12 Nov 2019, 18:21:15	10.46 KiB
	Makefile	12 Nov 2019, 18:21:15	725 B
	path	12 Nov 2019, 18:21:15	893 B
	path2listing	12 Nov 2019, 18:21:15	10.23 KiB
	path2listing.8	12 Nov 2019, 18:21:15	2.29 KiB
	postinst-desktop-profiles	12 Nov 2019, 18:21:15	134 B
	profile-snippet	12 Nov 2019, 18:21:15	615 B
	README	12 Nov 2019, 18:21:15	4.88 KiB
	TODO	12 Nov 2019, 18:21:15	140 B
	update-profile-cache	12 Nov 2019, 18:21:15	4.24 KiB
	update-profile-cache.1	12 Nov 2019, 18:21:15	1021 B
	zlogin-snippet	12 Nov 2019, 18:21:15	1018 B
(all files in zip)