oilshell.org
WILD
/
arrow
/
site
/ scripts
Successfully parsed
1
shell scripts totalling
23
lines in
0.07
seconds (
328.6
lines/sec).
0
OSH-to-Oil translations failed.
Side By Side
Lines
Parsed?
Parse Process Time (secs)
Translated?
Filename
view
23
OK
0.07
OK
sync_format_docs.sh