Browse Source

shortened github-clone to ghc

Ondřej Hruška 5 years ago
parent
commit
9a15340035
1 changed files with 0 additions and 0 deletions
  1. 0 0
      ghc

github-clone → ghc View File