summary refs log tree commit diff
path: root/pkgs/development/idris-modules/config.nix
diff options
context:
space:
mode:
authorGraham Christensen <graham@grahamc.com>2018-03-24 10:47:41 -0400
committerGraham Christensen <graham@grahamc.com>2018-03-25 19:52:00 -0400
commit92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9 (patch)
tree0181e4b13913552df774069766369a5f75babbef /pkgs/development/idris-modules/config.nix
parenta0c525bd0a93fba70471392b8651882b52197788 (diff)
downloadnixpkgs-92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9.tar
nixpkgs-92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9.tar.gz
nixpkgs-92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9.tar.bz2
nixpkgs-92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9.tar.lz
nixpkgs-92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9.tar.xz
nixpkgs-92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9.tar.zst
nixpkgs-92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9.zip
Move all nixpkgs doc files in to the doc directory
This makes a makefile-driven developer workflow nicer.
Diffstat (limited to 'pkgs/development/idris-modules/config.nix')
0 files changed, 0 insertions, 0 deletions