Return to FOOTER.html CVS log

Up to [Public] / html5

updated

</div>
<script>
var links = document.getElementsByTagName("a");
for (var i = 0; i < links.length; ++i) {
  if (!document.getElementsByTagName("a")[i].firstChild.tagName) {
    document.getElementsByTagName("a")[i].innerHTML = document.getElementsByTagName("a")[i].innerHTML.replace("\/", "");
  }
}
</script>