| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-07-12 | more copyright notice updates for $top/portal-gui/scripts/ | Michael Elkins | |
| svn path=/portal-gui/scripts/helper.in; revision=3395 | |||
| 2010-07-08 | make configure output additional info about installation paths for debugging | Michael Elkins | |
| automatically set the proper paths in django.wsgi use $INSTDIR for referring to installed portal-gui sources svn path=/portal-gui/Makefile.in; revision=3365 | |||
| 2010-07-07 | fix bug in helper script | Michael Elkins | |
| svn path=/portal-gui/scripts/helper.in; revision=3360 | |||
| 2010-07-07 | added configure script to ease installation | Michael Elkins | |
| svn path=/portal-gui/Makefile.in; revision=3357 | |||
 |
index : sra/rpki.net | |
| Dragon Research Labs RPKI Toolkit | git user |
| aboutsummaryrefslogtreecommitdiff |