Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 13, 2022

• Fix "environment settings object" URL

  Ms2ger

  authored
  c9fa870

Commits on Sep 20, 2022

• Replace Mike with Carlos as the editor (#28)

  jyasskin

  authored
  1281c95

Commits on Mar 15, 2021

• Modernize a bit

  annevk

  authored
  6fabd5b

Commits on Mar 13, 2021

• Editorial: Use "Previous Version: from biblio" (#25)

  sideshowbarker

  authored
  46bf44f

Commits on Mar 12, 2021

• Editorial: Update the Version History link URL (#23)

  sideshowbarker

  authored
  91ffcc1

• Reference current HTML standard, not old fork (#22)

  sideshowbarker

  authored
  83d5859

• CI: Switch to using GitHub Actions (#21)

  sideshowbarker

  authored
  42022be

Loading