Lassulus 453014b456 Merge pull request #89245 from alexarice/agda-literate ...

agda: install literate files

2020-06-16 14:11:01 +02:00

..

builders

treewide: per RFC45, remove more unquoted URLs

2020-04-18 14:04:37 +02:00

contributing

treewide: use https for nixos.org and hydra.nixos.org

2020-05-03 22:14:21 -07:00

doc-support

Revert "make-tarball.nix: Restore the 'commit' field in packages.json"

2020-03-29 20:57:50 +02:00

functions

…

languages-frameworks

Merge pull request #89245 from alexarice/agda-literate

2020-06-16 14:11:01 +02:00

old

treewide: per RFC45, remove more unquoted URLs

2020-04-18 14:04:37 +02:00

stdenv

Merge pull request #87866 from danieldk/validate-pkgconfig-hook

2020-06-02 23:27:27 -04:00

using

nixos/manual: spelling s/environent/environment/g in configuration.xml

2020-06-08 16:34:50 -04:00

.gitignore

…

default.nix

…

functions.xml

…

Makefile

…

manual.xml

…

overrides.css

…

preface.chapter.md

treewide: use https for nixos.org and hydra.nixos.org

2020-05-03 22:14:21 -07:00

release-notes.xml

treewide: use https for nixos.org and hydra.nixos.org

2020-05-03 22:14:21 -07:00

shell.nix

…

style.css

…