Remove space before full stop
commit19a87f3064bfbab1f6e0d8cce9e14f81522cff6f
authorJelle Besseling <jelle@pingiun.com>
dateSun 28 Apr 2019, 18:58 (8 years ago)
parented4d4cf
docs/tutorial/packages.rst+1−1
@@ -6,7 +6,7 @@ Packages
66
77Idris includes a simple build system for building packages and executables
88from 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.
1010
1111Package Descriptions
1212====================