Code

Use "GNU+Linux" instead of "Linux"#58

Code

Open

ghost wants to merge 1 commit intomasteridris-lang/idris-tutorial:masterfrom unknown repositoryCopy head branch name to clipboard

+1-1

Commits

Commits on Jun 30, 2015

• starting: Use the more diplomatic "GNU+Linux"

  Show description for c9a5e6f
  

  Alexander Berntsen

  committed
  c9a5e6f

  Copy full SHA for c9a5e6f