search

gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Optional changedir #36

Closed ChrisJefferson closed 8 years ago

ChrisJefferson commented 8 years ago

This pull request makes 'ChangeCurrentDirectory' only defined if it is not defined already, so we can lift it into the standard library.

Also fixed a documentation error at the same time.