diff options
Diffstat (limited to 'portal-gui/Makefile.in')
| -rw-r--r-- | portal-gui/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/portal-gui/Makefile.in b/portal-gui/Makefile.in index 311b6c5c..22e817fb 100644 --- a/portal-gui/Makefile.in +++ b/portal-gui/Makefile.in @@ -49,6 +49,7 @@ INSTALL_FILES=\ rpkigui/manage.py \ rpkigui/settings.py \ rpkigui/urls.py \ + rpkigui/myrpki/AllocationTree.py \ rpkigui/myrpki/__init__.py \ rpkigui/myrpki/admin.py \ rpkigui/myrpki/asnset.py \ |