K 10
svn:author
V 6
araujo
K 8
svn:date
V 27
2019-10-21T09:13:34.278639Z
K 7
svn:log
V 92
- Set OPTIONS_DEFAULT to devel/git instead of devel/git-lite.

Requested by:	mat and grembo

END