libk  History of kcore/old/def.h of 724bbbbe916a704e

History of the file that is called kcore/old/def.h at checkin 724bbbbe916a704e