add export

This commit is contained in:
qwjyh 2023-11-14 00:28:22 +09:00
parent bcd54dc673
commit f03b5f25f3
5 changed files with 50 additions and 0 deletions

View file

@ -25,3 +25,7 @@ You sometimes want to split logs and to give more appropriate notes for each of
You can do this with [`split_log`](@ref) function.
You can also edit existing notes with [`assign_note!`](@ref).
### Exporting
Use [`export_log`](@ref) to export log to `io` or `file`.