2017-06-19 13:00:05 +00:00
|
|
|
/*
|
|
|
|
|
*
|
|
|
|
|
* This file will be used to build official Debian Edu full images
|
|
|
|
|
*
|
|
|
|
|
*/
|
|
|
|
|
|
2018-07-31 12:11:10 +00:00
|
|
|
#include <debian-installer+kernel>
|
2017-06-19 13:00:05 +00:00
|
|
|
|
|
|
|
|
#include <debian-edu>
|
2018-07-30 08:17:09 +00:00
|
|
|
#include <debian-edu-full>
|
