Dmitry Kalinkin 9943fd1a1d Merge pull request #76653 from alexarice/agda-rework ... Agda rework		2020-05-14 18:02:50 -04:00
..
builders
contributing	treewide: use https for nixos.org and hydra.nixos.org	2020-05-03 22:14:21 -07:00
doc-support
functions
languages-frameworks	Merge pull request #76653 from alexarice/agda-rework	2020-05-14 18:02:50 -04:00
old
stdenv	Remove outdated reference to nix-log2xml	2020-05-07 16:01:29 +02:00
using
.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