/*
*
* This file will be used to build official Debian Edu full images
*/
#include <debian-installer+kernel>
#include <debian-edu>
#include <debian-edu-full>