julia
b6bae389 - remove `*whitespace*' and `char-whitespace?' to avoid flisp bootstrap failure

Commit
10 years ago
remove `*whitespace*' and `char-whitespace?' to avoid flisp bootstrap failure
Author
KDr2
Committer
KDr2
Parents
Loading