Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Nov 16, 2023

• Update README.md

  jim-ec

  authored
  caeda87View commit details

  Copy full SHA for caeda87

  Browse repository at this point

Commits on Feb 19, 2023

• Add tips section

  jim-ec

  authored
  fe3f5f4View commit details

  Copy full SHA for fe3f5f4

  Browse repository at this point

Commits on Jul 29, 2022

• Update README.md

  jim-ec

  authored
  150d0e1View commit details

  Copy full SHA for 150d0e1

  Browse repository at this point

Commits on Aug 4, 2021

• substitute $HOME with ~

  jim-ec

  authored
  225e20cView commit details

  Copy full SHA for 225e20c

  Browse repository at this point

Commits on Jul 17, 2021

• prefix functions with minima_

  jim-ec

  committed
  6e173abView commit details

  Copy full SHA for 6e173ab

  Browse repository at this point

• Update README.md

  jim-ec

  authored
  d223923View commit details

  Copy full SHA for d223923

  Browse repository at this point

• add install instructions

  jim-ec

  authored
  56585caView commit details

  Copy full SHA for 56585ca

  Browse repository at this point

• Update README.md

  jim-ec

  authored
  f5b3b06View commit details

  Copy full SHA for f5b3b06

  Browse repository at this point

• add files

  jim-ec

  committed
  aeda8fbView commit details

  Copy full SHA for aeda8fb

  Browse repository at this point

• Initial commit

  jim-ec

  authored
  99aa298View commit details

  Copy full SHA for 99aa298

  Browse repository at this point