summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-04-05 11:27:10 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-04-05 11:27:10 +0200
commitbc09c69e177a20277574e83fc03d0a96233e306c (patch)
treecf7353f05f24d2832bbcbc4e8d56752d5a59d4ab /microkernel
parent081588619324e4ade508ce6d093170987fdfd63d (diff)
we don't generate mini.iso any more
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions