This file is indexed.

/usr/include/kdevplatform/config-kdevplatform.h is in kdevelop-dev 4:5.2.1-1ubuntu4.

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

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
#ifndef CONFIG_KDEVPLATFORM_H
#define CONFIG_KDEVPLATFORM_H

#include "kdevelop_version.h"

#define KDEV_ITEMREPOSITORY_VERSION (KDEVELOP_VERSION_MAJOR << 24) \
                                  + (KDEVELOP_VERSION_MINOR << 16) \
                                  + (KDEVELOP_VERSION_PATCH << 8) \
                                  + 0

#endif