CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-09 11:37:35 +03:00
Code Issues Projects Releases Wiki Activity

Fix typo

Browse Source 
- delete the extra p
This commit is contained in:
Sergiusz Bleja 2021-05-22 21:55:41 +01:00 committed by GitHub
parent faedeaf3ce
commit 48f16a67c7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -20,7 +20,7 @@ git submodules, with
make dependencies
This should ensure everything is set up for developping on the Catala compiler!
This should ensure everything is set up for developing on the Catala compiler!
Other features for generation of files and literate programming also require
the following executables to be present