Age | Commit message (Collapse) | Author |
|
$top/portal-gui/build.sh as a result
remove helper script, and use @PYTHON@ configure variable to substitute instead
rename django.wsgi => rpki.wsgi
rename zrpki.conf => rpki.conf for apache configuration
svn path=/configure; revision=3629
|
|
into line with the other Python code
portal-gui needs a bit more work to bring its autoconf into line with
the other code, which may include some source tree reorganizations.
svn path=/portal-gui/Makefile.in; revision=3621
|
|
svn path=/portal-gui/scripts/list_resources.py; revision=3473
|
|
svn path=/portal-gui/scripts/list_resources.py; revision=3416
|
|
expected responses
svn path=/portal-gui/scripts/list_resources.py; revision=3397
|
|
svn path=/portal-gui/scripts/helper.in; revision=3395
|
|
like errors
svn path=/portal-gui/scripts/list_resources.py; revision=3370
|
|
requires handles as arguments
svn path=/portal-gui/scripts/list_resources.py; revision=3369
|
|
svn path=/portal-gui/README; revision=3319
|
|
update docs
add stub wsgi application
svn path=/portal-gui/README; revision=3318
|
|
svn path=/portal-gui/README; revision=3310
|
|
represent resource certs
svn path=/portal-gui/rpkigui/myrpki/admin.py; revision=3307
|