Silvan Mosberger dd7de2d096

add options for build idris package (#65666) ...

add options for build idris package

2019-08-07 13:37:36 +02:00

..

doc-support

doc: move parameters to an XML file

2019-07-04 09:16:06 -04:00

functions

doc: fix after snaptools merge

2019-07-10 08:02:14 -07:00

languages-frameworks

add options for build idris package (#65666)

2019-08-07 13:37:36 +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

manual: Fix typos

2019-03-25 17:50:13 -04:00

default.nix

doc: move parameters to an XML file

2019-07-04 09:16:06 -04:00

functions.xml

snapTools.makeSnap: init

2019-06-18 18:51:58 +02:00

introduction.chapter.md

…

Makefile

doc: move parameters to an XML file

2019-07-04 09:16:06 -04:00

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

Merge pull request #36886 from veprbl/symlinkJoin_doc

2019-03-30 22:01:01 -04:00

overlays.xml

…

overrides.css

…

package-notes.xml

kakoune: support for adding plugins

2019-06-25 17:17:08 -04:00

package-specific-user-notes.xml

citrix_workspace: add 1906 (citrix_workspace_19_6_0)

2019-07-24 13:06:19 +02: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 phases to include installCheckPhase

2019-07-28 12:08:39 +02:00

style.css

…

submitting-changes.xml

doc: Use prompt more often

2019-06-17 13:25:50 +02:00