[devtools] Remove unused local function
Unused since cw's first commit.
# -*- coding: utf-8 -*-# copyright %(year)s %(author)s, all rights reserved.# contact %(author-web-site)s -- mailto:%(author-email)s#%(long-license)s"""%(distname)s repository side views, usually for notification"""