Robert Hensing
|
65b2106d2a
|
Typo
|
2021-06-13 10:03:35 +02:00 |
|
Robert Hensing
|
a1a2475be5
|
docs: Add repl and build with Nix sections
|
2021-06-11 13:29:52 +02:00 |
|
Robert Hensing
|
b30c76822d
|
Remove todomvc example (gone)
|
2021-06-11 13:14:33 +02:00 |
|
Robert Hensing
|
3171cf1c21
|
Update index.adoc
|
2021-06-03 08:44:57 +02:00 |
|
Robert Hensing
|
a2f5c9415c
|
Update README for 21.05
|
2021-05-31 16:53:57 +02:00 |
|
Robert Hensing
|
e0e7531f7d
|
Add image.enableRecommendedContents for /bin/sh and such
|
2021-05-31 16:53:57 +02:00 |
|
Robert Hensing
|
e1f7840780
|
Update doc about garbage collection
|
2021-05-18 12:54:53 +02:00 |
|
Robert Hensing
|
e44c2c95ac
|
./update-options
|
2021-04-10 11:50:51 +02:00 |
|
Robert Hensing
|
0417272e0e
|
Add docs/README.md
Refer github.com visitors to the docs site.
|
2021-02-11 14:45:56 +01:00 |
|
Robert Hensing
|
44bd4b34c6
|
options.adoc: Hint where to edit options
Useful when generated docs will have edit links pointing to options.adoc.
|
2021-02-11 14:42:26 +01:00 |
|
Robert Hensing
|
bb23a55c8a
|
Improve labels example
|
2021-01-22 10:39:34 +01:00 |
|
Robert Hensing
|
9a523b45d7
|
./update-options
|
2021-01-20 18:20:07 +01:00 |
|
Robert Hensing
|
b959ab492d
|
Move name -> project.name
|
2020-10-11 12:02:58 +02:00 |
|
Robert Hensing
|
2de4188b9d
|
Update options
|
2020-10-10 22:12:37 +02:00 |
|
Robert Hensing
|
0a8f8e7fb8
|
Fix doc formatting
|
2019-10-29 12:52:00 +01:00 |
|
Robert Hensing
|
24503bcbe5
|
Fix warnings
|
2019-10-29 11:04:25 +01:00 |
|
Robert Hensing
|
697b3a27bb
|
Update index.adoc
|
2019-10-28 23:52:59 +01:00 |
|
Robert Hensing
|
c38c374fa6
|
Work around Nix enforcing cross-system fetch bug
https://github.com/hercules-ci/hercules-ci-agent/issues/168
|
2019-10-27 11:42:40 +01:00 |
|
Robert Hensing
|
da83692996
|
docs: Use lib.evalModules
|
2019-10-25 01:10:01 +02:00 |
|
Robert Hensing
|
60f3f34527
|
Rename module-composition -> modules
|
2019-10-25 00:32:59 +02:00 |
|
Domen Kožar
|
5140cf0a09
|
Use antora for documentation
|
2019-10-25 00:11:35 +02:00 |
|