commit | d394293ba59fc932085eb8c01592822a9b1ec1f7 | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Sep 15 06:31:49 2023 +0000 |
committer | nicm <nicm> | Fri Sep 15 06:31:49 2023 +0000 |
tree | ca6dc2da2c8988cd6d7694dc674051cbc135669b | |
parent | 8191c587378b0bb6f9f6818b1d721cea56fe08ff [diff] |
Add -t to source-file, GitHub issue 3473.