Skip to content

History / Archive Components and Symbols

Revisions

  • Remove the moved-page stubs now that the repo links the renamed pages

    @enumeratio enumeratio committed Nov 13, 2026
  • Archive pages: say why each is archived and where the current page is

    @enumeratio enumeratio committed Nov 13, 2026
  • Archive retired pages, promote adopted ones, stubs at names the repo links

    @enumeratio enumeratio committed Nov 13, 2026