K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-05-01T18:36:20.132198Z
K 7
svn:log
V 313
devel/gprbuild: Pet Jenkins by fixing PORTEXAMPLES definition

I could have sworn that "." was a legitimate value for PORTEXAMPLES,
which accepts directories.  I believe I tested it, but it's not working
now.  Change it from "." to "*" (which is common), and bump the port
to please Jenkins.

Reported by:	swills

END