K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-05-22T21:44:51.754752Z
K 7
svn:log
V 325
lang/gnat_util: Add set_std_prefix and update_path symbols

Rather than require each user of libgnat_util to link in set_std_prefix
and update_path functions, let's assume each user needs the same version
of these functions and just add them directly to the library.

Adjust gnatcoll accordingly -- hack no longer necessary.

END