K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2017-01-07T01:20:19.728418Z
K 7
svn:log
V 56
Remove useless CONFIGURE_ENV, it is already the default

END