Website: actually make the changes (not just in src)
tree8fdd829c3b265388199f867b1b42ec093eef36c0
drwxr-xr-x - tools
drwxr-xr-x - trunk
drwxr-xr-x - www.openxpki.org