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 /pkgs/development/idris-modules | |
| parent | 3ca5220350202fb084de03bbf8acdbc91485a536 (diff) | |
| download | nixpkgs-0e19ef393acc86efca69e5b10bd9d3ee8ec81164.tar nixpkgs-0e19ef393acc86efca69e5b10bd9d3ee8ec81164.tar.gz nixpkgs-0e19ef393acc86efca69e5b10bd9d3ee8ec81164.tar.bz2 nixpkgs-0e19ef393acc86efca69e5b10bd9d3ee8ec81164.tar.lz nixpkgs-0e19ef393acc86efca69e5b10bd9d3ee8ec81164.tar.xz nixpkgs-0e19ef393acc86efca69e5b10bd9d3ee8ec81164.tar.zst nixpkgs-0e19ef393acc86efca69e5b10bd9d3ee8ec81164.zip | |
idris-modules: add final newline to TODO.md
Diffstat (limited to 'pkgs/development/idris-modules')
| -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 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 |