IPPC Design Docs / Page Tools
Updated: Thursday, 29 October 2009
Page tools (<div class="pageinfo">): Subscribe to page, bookmark page, copy link to page, and date of last update. Note the <br /> before Page Updated:
<div class="pageinfo">
<br />