diff options
Diffstat (limited to 'portal-gui/rpkigui/settings.py.in')
| -rw-r--r-- | portal-gui/rpkigui/settings.py.in | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/portal-gui/rpkigui/settings.py.in b/portal-gui/rpkigui/settings.py.in index f369adbe..ef7d4541 100644 --- a/portal-gui/rpkigui/settings.py.in +++ b/portal-gui/rpkigui/settings.py.in @@ -103,12 +103,5 @@ AUTHENTICATION_BACKENDS = ( 'django.contrib.auth.backends.ModelBackend', ) -# Top of directory tree where rpki.conf, etc are stored for each -# resource holder. -MYRPKI_DATA_DIR = '@CONFDIR@' - -# Where to find the myrpki command line tool. -MYRPKI = '@MYRPKI@' - # where to redirect from /accounts/login/ after successful authentication LOGIN_REDIRECT_URL = '/myrpki/' |