diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2019-06-15 17:11:24 +0200 |
|---|---|---|
| committer | Silvan Mosberger <infinisil@icloud.com> | 2019-06-15 18:25:41 +0200 |
| commit | eda8c3679564ff3c120fbc776a3fd19d3fb7c7de (patch) | |
| tree | 7dfe8e9603d1c435cd26a600c4164f3c4ccec34f /doc/stdenv.xml | |
| parent | 33a0ef8bb3eef84e937172ba1a18c016659393b4 (diff) | |
doc/idris: Fix install instructions
Because of nix-env weirdness, I introduced a mistake in the docs in https://github.com/NixOS/nixpkgs/pull/50182, this fixes it.
Diffstat (limited to 'doc/stdenv.xml')
0 files changed, 0 insertions, 0 deletions