aboutsummaryrefslogtreecommitdiff
path: root/portal-gui/rpki/manage.py
AgeCommit message (Collapse)Author
2010-06-12Rename rpki to rpkigui.Bill Fenner
svn path=/portal-gui/rpki; revision=3284
2009-11-13Import (unfinished) portal codeRob Austein
svn path=/portal-gui/rpki/__init__.py; revision=2879