Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on May 3, 2024

• don't ignore lean_decls

  kbuzzard

  committed
  4d6f41b

Commits on May 2, 2024

• Remove .venv from gitignore

  pitmonticone

  committed
  503f0bc

Commits on May 1, 2024

• Update .gitignore

  pitmonticone

  committed
  f7a5614

• Merge branch 'main' into main

  pitmonticone

  authored
  8c681b6

• Add python virtual environment to .gitignore

  pitmonticone

  committed
  5a9a306

Commits on Apr 30, 2024

• fix typo, add to .gitignore

  digama0

  committed
  697a8a6

• ignore lean_decls

  kbuzzard

  committed
  18d69af

Commits on Apr 29, 2024

• ignore files generated by LaTeX

  kbuzzard

  committed
  2978bec

Commits on Dec 6, 2023

• .gitignore finally OK

  kbuzzard

  committed
  21f0853

• attempt to remove some junk files

  kbuzzard

  committed
  4309bb3

Commits on Nov 27, 2023

• Fix inv dev

  utensil

  committed
  33c5238

Commits on Nov 25, 2023

• Only build for main

  utensil

  committed
  faaab2d

• Initial setup of the blueprint, docs and the project page

  utensil

  committed
  da34ffc

Commits on Nov 22, 2023

• add .lake to .gitignore

  kbuzzard

  committed
  0198723

Commits on Nov 19, 2023

• initialise git repo

  kbuzzard

  committed
  be00edb

Loading