diff options
author | Samuel Gräfenstein <git@samuelgrf.com> | 2020-11-05 12:32:21 +0100 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2020-11-09 11:39:28 +0000 |
commit | 0e19ef393acc86efca69e5b10bd9d3ee8ec81164 (patch) | |
tree | ba8aa345c8af67bb0db39b0ad9c18876549d6ecc | |
parent | 3ca5220350202fb084de03bbf8acdbc91485a536 (diff) |
idris-modules: add final newline to TODO.md
-rw-r--r-- | pkgs/development/idris-modules/TODO.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/TODO.md b/pkgs/development/idris-modules/TODO.md index 4dcaa61829a81..41b0be2b2efa0 100644 --- a/pkgs/development/idris-modules/TODO.md +++ b/pkgs/development/idris-modules/TODO.md @@ -1,3 +1,3 @@ * Build the RTS separately from Idris * idris2nix -* Only require gmp, rts when compiling executables \ No newline at end of file +* Only require gmp, rts when compiling executables |