Arch Linux

$arch_url) { echo '
• '.$arch_name.'
'; } } ?>