Code

Some changes to glossary.#2636

Code

Merged

LukaJCB merged 2 commits intotypelevel:mastertypelevel/cats:masterfrom diesalbla:nomenclature_moreCopy head branch name to clipboardDec 3, 2018

+55-47

Commits

Commits on Nov 21, 2018

• Some changes to nomenclature.

  Show description for 31a003a
  diesalbla

  committed
  31a003a

  Copy full SHA for 31a003a

Commits on Dec 3, 2018

• Merge branch 'master' into nomenclature_more

  kailuowang

  authored
  4acb45c

  Copy full SHA for 4acb45c