git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

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