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

  • mmn's avatar
    oldschool settings adapted to FormAction · 47ef917f
    mmn authored
    TODO: Rename this "Layout", "Display" or something, since it might
    actually be interesting to have non-threaded views for some users.
    47ef917f