Silvan Mosberger ba3a834b75 doc/idris: Fix install instructions (#63163) ... doc/idris: Fix install instructions		2019-06-19 17:10:21 +02:00
..
functions	doc: Use prompt more often	2019-06-17 13:25:50 +02:00
languages-frameworks	doc/idris: Fix install instructions (#63163)	2019-06-19 17:10:21 +02:00
old
.gitignore
coding-conventions.xml	doc: Use prompt more often	2019-06-17 13:25:50 +02:00
configuration.xml
contributing.xml	doc: fix spurious whitespace	2019-06-17 12:28:26 +02:00
cross-compilation.xml
default.nix
functions.xml
introduction.chapter.md
lib-function-docs.nix
lib-function-locations.nix
Makefile
manual.xml	[RFC] manual: rename to users and contributors manual, add some user notes … (#60682)	2019-05-22 13:55:00 +00:00
meta.xml	Merge pull request #63351 from Ekleog/fix-2532	2019-06-18 20:09:08 +02:00
multiple-output.xml
overlays.xml
overrides.css
package-notes.xml	doc: Use prompt more often	2019-06-17 13:25:50 +02:00
package-specific-user-notes.xml	[RFC] manual: rename to users and contributors manual, add some user notes … (#60682)	2019-05-22 13:55:00 +00:00
platform-notes.xml	doc: fix spurious whitespace	2019-06-17 12:28:26 +02:00
quick-start.xml	doc: Use prompt more often	2019-06-17 13:25:50 +02:00
release-notes.xml
reviewing-contributions.xml	doc: Use prompt more often	2019-06-17 13:25:50 +02:00
shell.nix
stdenv.xml	doc: fix spurious whitespace	2019-06-17 12:28:26 +02:00
style.css
submitting-changes.xml	doc: Use prompt more often	2019-06-17 13:25:50 +02:00