/usr/share/gprconfig/clean.xml

This file is indexed.

/usr/share/gprconfig/clean.xml is in gprbuild 2015-6.

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

The actual contents of the file can be viewed below.

<?xml version="1.0" ?>

<gprconfig>
   <configuration>
      <config>
   package Clean is

      --  Remove the files generated by gnatinspect (in the context of GPS)
      for Artifacts_In_Object_Dir use Clean'Artifacts_In_Object_Dir
         &amp; ("gnatinspect.*");
   end Clean;
      </config>
   </configuration>
</gprconfig>

gprbuild 2015-6 / usr / share / gprconfig / clean.xml