Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 11, 2020

• Switch default branch from master to main

  

  dhimmel

  and

  agitter

  committedDec 11, 2020
  690aac1

Commits on Jan 17, 2020

• GitHub Actions workflow for building and deployment

  dhimmel

  committedJan 17, 2020
  f072e93

Commits on Sep 18, 2019

• Fix broken references to webpage.py

  

  rhagenson

  authored and

  dhimmel

  committedSep 18, 2019
  9811137

Commits on Jan 28, 2019

• Refactor HTML assets to build/themes & build/plugins

  

  vincerubinetti

  authored and

  dhimmel

  committedJan 28, 2019
  fa7949f

Commits on Jan 22, 2019

• CSS improvements to github-pandoc.css

  

  vincerubinetti

  authored and

  dhimmel

  committedJan 22, 2019
  eb4cb3e

Commits on Dec 11, 2018

• webpage utility: upgrade preexisting timestamps

  dhimmel

  committedDec 11, 2018
  aa664b4

Commits on Aug 3, 2018

• CSS: figure & table caption alignment

  dhimmel

  committedAug 3, 2018
  22b5260

Commits on Feb 16, 2018

• Versioned webpage using commit directories (#101)

  dhimmel

  committedFeb 16, 2018
  29cd993

Commits on Feb 1, 2018

• Webpage: specify letter page size in CSS (#107)

  dhimmel

  committedFeb 1, 2018
  a535f7b

Commits on Dec 7, 2017

• Fix Hypothesis adder positioning

  

  dsiddy

  authored and

  dhimmel

  committedDec 7, 2017
  d209731

Commits on Sep 1, 2017

• Prettify github-pandoc.css (#63)

  dhimmel

  committedSep 1, 2017
  26472cd

Commits on Aug 9, 2017

• Update for expanded manubot package (#48)

  dhimmel

  committedAug 9, 2017
  084e30d

Loading