Improve header generation, slightly
[hcoop/portal.git] / scripts / hcoop_footer
1 #!/bin/sh
2
3 cat "$1"/etc/hcoop.footer