diff options
author | Munyoki Kilyungi | 2023-07-10 12:22:29 +0300 |
---|---|---|
committer | BonfaceKilz | 2023-07-30 12:29:56 +0300 |
commit | 9fd4ef6dc5512aacdc60c1bf0dc378d72a8a3dfe (patch) | |
tree | feff08fdf54a9e68fd735976a4858e9da1c54bc8 /README.md | |
parent | 7da7e15ac9fa0422caa4fc560f3c6957c2dbcc24 (diff) | |
download | gn-transform-databases-9fd4ef6dc5512aacdc60c1bf0dc378d72a8a3dfe.tar.gz |
Pass port as an optional argument
* dump/triples.scm (triple): Add port as an optional argument.
Defaults to #t. This enables us to use triple to print to other ports
E.g in the case of dumping documentation to a different file.
Signed-off-by: Munyoki Kilyungi <me@bonfacemunyoki.com>
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions