tree 0dee3030a5174c61b1aa24a0eaaa87bd3365a26d
parent 71810d041524b4d296c0ba2b52f46165928110af
author David van Moolenbroek <david@minix3.org> 1481925215 +0000
committer sg <goldsimon@gmx.de> 1482269291 +0100

opt.h: provide some hints regarding MLD settings