git.iko.soy/Idris-dev
on master help sign in
Remove space before full stop
19a87f3Jelle Besseling
docs/tutorial/packages.rst+1−1
compare with master
unifiedsplit
@@ -6,7 +6,7 @@ Packages
6
6
7Idris includes a simple build system for building packages and executables
7Idris includes a simple build system for building packages and executables
8from a named package description file. These files can be used with the
8from a named package description file. These files can be used with the
9−Idris compiler to manage the development process .
9+Idris compiler to manage the development process.
10
10
11Package Descriptions
11Package Descriptions
12====================
12====================