Code

#info directive#294

Code

Open

kandu wants to merge 5 commits intoocaml-community:masterocaml-community/utop:masterfrom kandu:infoofkandu/utop:infoofCopy head branch name to clipboard

+249-81

Commits

Commits on Jul 26, 2019

• add an optional #infoof directive

  kandu

  committed
  5d1a4ae

• fork a child to index and query info

  Show description for d1e8d65
  kandu

  committed
  d1e8d65

• minor fix

  kandu

  committed
  6736c87

Commits on Jul 27, 2019

• rename #infoof to #info

  kandu

  committed
  7afc6c8

Commits on Aug 4, 2019

• #info only available on Unix systems

  kandu

  committed
  59b7f7f