Simon Gaiser 0daeed847f [Jenkins] Check for missing gitignores and fix found issues 6 jaren geleden
..
include c685e56e67 [LibOS] Update TYPE_DEV handles with correct function pointers in dev_ops 6 jaren geleden
src c685e56e67 [LibOS] Update TYPE_DEV handles with correct function pointers in dev_ops 6 jaren geleden
test 0daeed847f [Jenkins] Check for missing gitignores and fix found issues 6 jaren geleden
Makefile 7377a787bc [Makefile] Add distclean target 6 jaren geleden