move header() to include(/elements/header.html) so it can be changed in one place...
[freeside.git] / install / redhat /
drwxr-xr-x   ..
drwxr-xr-x - 7.3
drwxr-xr-x - 8
drwxr-xr-x - 9
drwxr-xr-x - es3