sra/rpki.net - Dragon Research Labs RPKI Toolkit

Age	Commit message (Expand)	Author
2012-01-17	web portal no longer needs to write files in ${localstatedir}	Michael Elkins
2012-01-17	install twitter boostrap.min.css into web portal media directory	Michael Elkins
2012-01-17	forgot to fix apache/rpki.conf -> apache.conf in makefile	Michael Elkins
2012-01-17	rename the apache configuration file from rpki.conf to apache.conf	Michael Elkins
2011-12-08	Use mysql as the db backend for django.	Michael Elkins
2011-11-23	remove features that depend on django 1.3, so that portal gui works with djan...	Michael Elkins
2011-11-11	if ${sysconfdir}/rpki/settings.py already exists, append a .new suffix and co...	Michael Elkins
2011-11-10	move settings.py for portal gui django app to ${sysconfdir}/rpki since it rea...	Michael Elkins
2011-10-13	use the django.contrib.staticfiles app to serve the django admin site media.	Michael Elkins
2011-10-07	install copy of example rpki.conf as template for new gui users	Michael Elkins
2011-05-10	Don't assume installation directories exist	Rob Austein
2011-05-06	DESTDIR	Rob Austein
2011-03-03	put django project templates into $top/rpkid/rpki/gui/templates	Michael Elkins
2011-03-02	portal-gui project Makefile should not install django app templates	Michael Elkins
2011-03-02	move $top/portal-gui into $top/rpkid/portal-gui	Michael Elkins