aboutsummaryrefslogtreecommitdiff
path: root/portal-gui/rpkigui/manage.py
AgeCommit message (Collapse)Author
2010-06-12Rename rpki to rpkigui.Bill Fenner
svn path=/portal-gui/rpki; revision=3284