www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 2d40ac4c0ec880fab2e9b6bcf44ae2f4a147f6cc
parent afd2ae77fbdaf9c4fc6be2f90084e40ce962a34f
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Wed,  9 Aug 2017 21:47:26 +0200

[fastbuild] Fixed small error when printing a message

Diffstat:
Mscribblings/phc-thesis.scrbl | 3+--
1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scribblings/phc-thesis.scrbl b/scribblings/phc-thesis.scrbl @@ -83,8 +83,7 @@ #'(displayln "Appendices turned off on this build." (current-error-port)) #`(begin - (displayln (format "Appendices enabled on this build." - #,(current-directory)) + (displayln "Appendices enabled on this build." (current-error-port)) a))])) @if-appendices[