rename "Name" to "Slice Name" and "view" to "sliver tags" on node page.
[plewww.git] / planetlab / nodes / known_hosts.php
1 <?php include('_gen_known_hosts.php'); ?>