christos a672382c55 adjust miniroot scripts to deal with the time prefix in dmesg		2019-04-10 14:52:53 +00:00
..
Makefile.inc	+= for MAKEFS_FLAGS	2017-01-24 18:04:01 +00:00
dot.profile	…
install.md	adjust miniroot scripts to deal with the time prefix in dmesg	2019-04-10 14:52:53 +00:00
list	…