diff options
| author | Etsuro Fujita | 2022-11-02 09:15:08 +0000 |
|---|---|---|
| committer | Etsuro Fujita | 2022-11-02 09:15:08 +0000 |
| commit | 36abd1fb51df7c94ddfc26b0d08be7feb5f40241 (patch) | |
| tree | 7fb0ac023ac20f4b1c6bc725c132a213cd295f5d /doc/src | |
| parent | b1cb77bdf4007697a7c053a1954357df80372daf (diff) | |
Fix copy-and-pasteo in comment.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions