Merge pull request #123 from svenski/patch-1

Fix typo
This commit is contained in:
Denis Merigoux 2021-05-23 11:53:40 +02:00 committed by GitHub
commit 54067f337f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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