diff options
| author |  Martin Vassor <martin.vassor@epfl.ch> | 2017-12-05 14:37:33 +0100 |
|---|---|---|
| committer | Martin Vassor <martin.vassor@epfl.ch> | 2017-12-05 14:37:33 +0100 |
| commit | 462bd30acfeedb5aad84de86db62db0b531f007f (patch) | |
| tree | f00b7e749c20aafdc918bb255f7a2ee8bcfe5c6c /INSTALL | |
| parent | 2c5e81e3bc6ec17d253aeedd1b2bf4ccd3b81933 (diff) | |
Correct typo
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -43,7 +43,7 @@ WHAT DO YOU NEED ? - a C compiler - for Coqide, the Lablgtk development files, and the GTK libraries - incuding gtksourceview, see INSTALL.ide for more details + including gtksourceview, see INSTALL.ide for more details Opam (https://opam.ocaml.org/) is recommended to install ocaml and the corresponding packages. |