K 10
svn:author
V 6
emaste
K 8
svn:date
V 27
2020-03-10T16:16:20.845249Z
K 7
svn:log
V 104
Remove libgmp vendor tree

It hasn't been used since 2001 it seems, long before the cvs->svn
migration.

END