This file is indexed.

/usr/src/linux-source-3.13.0/debian.master/config/x32/ is in linux-source-3.13.0 3.13.0-71.114.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/src/linux-source-3.13.0/debian.master/config/x32/config.common.x32 text/plain root:root 0o644 19 bytes
/usr/src/linux-source-3.13.0/debian.master/config/x32/config.flavour.generic text/plain root:root 0o644 19 bytes