directory /liboffloadmic/doc/doxygen/ @ 158:494b0b89df80 default tip

name size permissions
[up] drwxr-xr-x
file config 101533 -rw-r--r--
file header.tex 2741 -rw-r--r--