K 10
svn:author
V 3
0mp
K 8
svn:date
V 27
2019-11-11T13:45:56.160486Z
K 7
svn:log
V 177
Unbreak with a new master site

While here:
- Define the license.
- Pet portclippy, portfmt, and portlint.

PR:		241868
Submitted by:	António Barbosa <amrgbarbosa77@gmail.com>

END