files_dup.js

Go to the documentation of this file.

var files_dup =
[
    [ "k01myfirstprogram", "dir_9777c5bafb4bc48fcfe595371bc423ea.html", "dir_9777c5bafb4bc48fcfe595371bc423ea" ],
    [ "krnl.c", "krnl_8c.html", "krnl_8c" ],
    [ "krnl.h", "krnl_8h.html", "krnl_8h" ],
    [ "mainpage.c", "mainpage_8c.html", null ]
];