Manuel Bärenz 87cab901a3 agda.section.md: Fix header, enumerations, capitalisation

2020-09-18 12:42:06 +02:00

..

builders

doc/*: editorconfig fixes

2020-07-31 15:06:53 +10: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

Merge pull request #68491 from roberth/fix-dontRecurseIntoAttrs

2020-03-01 11:05:34 +01:00

languages-frameworks

agda.section.md: Fix header, enumerations, capitalisation

2020-09-18 12:42:06 +02:00

old

doc/*: editorconfig fixes

2020-07-31 15:06:53 +10:00

stdenv

Merge pull request #76794 from dudebout/document-nix-env-multiple-output-install-bug

2020-09-05 15:40:26 +02:00

using

doc/using/overlays.xml: add BLIS

2020-09-07 19:49:51 +02:00

.gitignore

…

default.nix

…

functions.xml

…

Makefile

doc: fix MD_TARGETS

2020-07-18 14:23:25 +09:00

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

…