diff options
| author | Perry Liao | 2022-10-24 03:46:17 +0000 |
|---|---|---|
| committer | Perry Liao | 2022-10-24 03:46:17 +0000 |
| commit | 1df988400399d3147514cf42a132141b7f5d8194 (patch) | |
| tree | 419eaa88d36ace6fdd34f54656aadff0fd5eb5fc /entries/jlouis/bin/main.ml | |
| parent | 5a918f5a59e0e3b3af1ef75b5251b9f7ae7a15e8 (diff) | |
make only 1 wc call
Diffstat (limited to 'entries/jlouis/bin/main.ml')
0 files changed, 0 insertions, 0 deletions