diff options
Diffstat (limited to 'rpkid/rpki/gui/app/settings.py.in')
| -rw-r--r-- | rpkid/rpki/gui/app/settings.py.in | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/rpkid/rpki/gui/app/settings.py.in b/rpkid/rpki/gui/app/settings.py.in deleted file mode 100644 index fcfe4678..00000000 --- a/rpkid/rpki/gui/app/settings.py.in +++ /dev/null @@ -1,10 +0,0 @@ -# $Id$ -# -# This module contains the default settings for the RPKI portal gui. -# -# DO NOT EDIT! This file is automatically generated from settings.py.in -# path to the myrpki command line tool - -from django.conf import settings - -RPKI_CONF_TEMPLATE = settings.RPKI_CONF_TEMPLATE = settings.RPKI_CONF_TEMPLATE if hasattr(settings, 'RPKI_CONF_TEMPLATE') else '%(AC_DATAROOTDIR)s/rpki/rpki.conf.template' |