Eelco Dolstra
|
6de7886fb8
|
Slightly improve option type error messages
|
2013-10-23 20:08:22 +02:00 |
|
Eelco Dolstra
|
ec0911ce7f
|
Manual: Don't show obsolete/deprecated options
|
2013-10-23 20:08:21 +02:00 |
|
Eelco Dolstra
|
29014a47fb
|
Allow options to be marked as "internal"
This means they're not for end users. Currently they're filtered from
the manual, but we could include them in a separate section.
|
2013-10-23 20:08:21 +02:00 |
|
Michael Raskin
|
5bbb1f77b2
|
Adding SlimerJS — script-driven Gecko browser
|
2013-10-21 00:30:39 +04:00 |
|
Eelco Dolstra
|
ad0568e64a
|
mkEnableOption: Add a period at the end of the description
|
2013-10-17 14:29:51 +02:00 |
|
Eelco Dolstra
|
04690da3bd
|
Rename newOptionAttrSetToDocList -> optionAttrSetToDocList
|
2013-10-17 14:09:05 +02:00 |
|
Eelco Dolstra
|
5fef92c4a0
|
Move pkgs/lib/ to lib/
|
2013-10-10 13:28:21 +02:00 |
|