K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-07-25T20:16:37.288292Z
K 7
svn:log
V 68
math/lean: Add the PORTSCOUT line.

Avoid picking undesirable tags.

END