K 10
svn:author
V 4
rene
K 8
svn:date
V 27
2017-11-01T07:39:42.179231Z
K 7
svn:log
V 53
lang/gnat_util: remove expired ADA_DEFAULT==5 option

END