fix planet require of random.plt
svn: r7511 original commit: ac85e14527b9cd2e335922773b6117c479c98476
This commit is contained in:
parent
4a31fa8cd1
commit
3b4f787f35
|
@ -93,3 +93,5 @@ information.
|
|||
@include-section["basic.scrbl"]
|
||||
@include-section["manual.scrbl"]
|
||||
@include-section["eval.scrbl"]
|
||||
|
||||
@index-section["scribble-index"]
|
||||
|
|
Loading…
Reference in New Issue
Block a user