will be shut down on June 1, 2019. At that point this instance will be unreachable and all data will be irrevocably deleted. More details at

  • buttle's avatar
    added DocNav EVENT · b9d4a9c9
    buttle authored
    Event to overide DocNav
    two small css changes to indent notice footer correctly.
doc.php 6.67 KB