diff options
Diffstat (limited to 'pkgs/development/idris-modules/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 4dcaa61829a8..41b0be2b2efa 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 |