[gps-users] latest snapshot dated 20080117

[Arnaud Charlet]

You need to use gcov from GNAT Pro to take advantage of the latest gcov
support in the GPS snapshot.

> 2. When selecting Build -> Clean, Root Project and All are displayed
> more than once (they are repeated below the first).

I suspect you installed a new GPS on top of an existing GPS install, and
now have both the old gnatclean.xml plug-in, and the new gnatclean.py

Arno