diff options
| author | Munyoki Kilyungi | 2023-07-10 12:22:29 +0300 |
|---|---|---|
| committer | Munyoki Kilyungi | 2023-07-21 14:36:37 +0300 |
| commit | 5545a02c149469c094692fd592064fcec3fc7a67 (patch) | |
| tree | feff08fdf54a9e68fd735976a4858e9da1c54bc8 /.gitignore | |
| parent | be9fd2b2744daa1c9b683dde2909ac01e85f37e7 (diff) | |
| download | gn-transform-databases-5545a02c149469c094692fd592064fcec3fc7a67.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 '.gitignore')
0 files changed, 0 insertions, 0 deletions