From 0e19ef393acc86efca69e5b10bd9d3ee8ec81164 Mon Sep 17 00:00:00 2001 From: Samuel Gräfenstein Date: Thu, 5 Nov 2020 12:32:21 +0100 Subject: idris-modules: add final newline to TODO.md --- pkgs/development/idris-modules/TODO.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkgs/development/idris-modules') diff --git a/pkgs/development/idris-modules/TODO.md b/pkgs/development/idris-modules/TODO.md index 4dcaa61829a..41b0be2b2ef 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 -- cgit 1.4.1