Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove Unicode characters from source files, closes #85
Temporary change to fix the documentation building script. The proper fix would involve setting up the charset correctly on io:put_chars.
- Loading branch information