Code

Introduction: fix typos#126

Code

Open

edwintorok wants to merge 5 commits intoowlbarn:mainowlbarn/tutorial:mainfrom edwintorok:typosedwintorok/tutorial:typosCopy head branch name to clipboard

+321-71

Commits

Commits on May 23, 2023

• Introduction: fix typos

  Show description for f774a81
  edwintorok

  committed
  f774a81

  Copy full SHA for f774a81

• Introduction: tweak spelling/grammar

  Show description for b873312
  edwintorok

  committed
  b873312

  Copy full SHA for b873312

• Dockerfile: update repo url from git:// to https://

  Show description for 5785020
  edwintorok

  committed
  5785020

  Copy full SHA for 5785020

• otb.opam: fails to build with mdx.2.2

  Show description for 7fd4d98
  edwintorok

  committed
  7fd4d98

  Copy full SHA for 7fd4d98

• regenerate docs/introduction.html

  Show description for d13f759
  edwintorok

  committed
  d13f759

  Copy full SHA for d13f759