idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 12:42:02 +03:00
Code Issues Projects Releases Wiki Activity

Amend typo in INSTALL.md

Browse Source
This commit is contained in:
SmiVan 2020-07-08 20:39:41 +01:00 committed by G. Allais
parent eca9c12cf5
commit 3c051f3375
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
INSTALL.md
View File

@ -1,7 +1,7 @@
# Installing
- [Installing from source](#installing-from-source)
- [Installing from a package mananager](#installing-from-a-package-manager)
- [Installing from a package manager](#installing-from-a-package-manager)
## Installing from source