explicit: Factor out header to separate file.
And allow readig it even if DIVINE is not compiled with O_EXPLICIT.
parent
9adce809
Please register or sign in to comment
And allow readig it even if DIVINE is not compiled with O_EXPLICIT.