Frederik Rietdijk 49f4475307 Merge pull request #95305 from jonringer/remove-py35 ... python35: remove		2020-08-15 09:08:47 +02:00
..
builders	doc/*: editorconfig fixes	2020-07-31 15:06:53 +10:00
contributing	…
doc-support	…
functions	…
languages-frameworks	Merge pull request #95305 from jonringer/remove-py35	2020-08-15 09:08:47 +02:00
old	doc/*: editorconfig fixes	2020-07-31 15:06:53 +10:00
stdenv	…
using	doc/using/overlays.xml: fix some small glitches	2020-08-10 15:47:38 +02:00
.gitignore	…
Makefile	…
default.nix	…
functions.xml	…
manual.xml	…
overrides.css	…
preface.chapter.md	…
release-notes.xml	…
shell.nix	…
style.css	…