Cross Reference: /barrelfish-2018-10-04/tools/demo/

Name		Date	Size
..		25-Jul-2019	43
Aquarium/	H	25-Jul-2019	14
bin/	H	25-Jul-2019	5
guide.pdf	H A D	25-Jul-2019	1.2 MiB
guide.pptx	H A D	25-Jul-2019	1.4 MiB
logs/	H	25-Jul-2019	68
menu.demo.lst	H A D	25-Jul-2019	842
TestAquarium/	H	25-Jul-2019	5