Fredrik Thulin b72030ac92 merge goodies from eduid-cosmos		2018-05-03 12:48:05 +02:00
..
overlay	ubuntu 18.04 doesn't seem to have /etc/rc.local anymore	2018-05-03 12:33:31 +02:00
post-tasks.d	merge goodies from eduid-cosmos	2018-05-03 12:48:05 +02:00
pre-tasks.d	merge goodies from eduid-cosmos	2018-05-03 12:48:05 +02:00