Johan Rong 4443f3b9a8 remove boot splash, since it's kind of broked 2 maanden geleden
..
features 7aa7ef4d03 Use fish shell 3 maanden geleden
flavors 4443f3b9a8 remove boot splash, since it's kind of broked 2 maanden geleden
hardware 070a852782 Add NTNU VPN 2 maanden geleden