tree b72f8b805745f6af7a9d04da11796f37b7d52610
parent 41f2b09840c54b089545678b595ecccbc678ee7a
author Sylvestre Ledru <sylvestre@debian.org> 1630054010 +0200
committer Copybara-Service <copybara-worker@google.com> 1630054222 -0700

polly: remove the old reference to svn in the doc

GitOrigin-RevId: c22bd391bc68097a4614a895e5e58d10501a2661