diff options
| author | 2022-08-24 11:34:59 -0500 | |
|---|---|---|
| committer | 2022-08-24 11:34:59 -0500 | |
| commit | f5d11dc6563dd7e7389ac326ae762243694b7093 (patch) | |
| tree | 45e315d3c201fdbd8fcea1bb0f1bb53c1cb43487 /tools | |
| parent | Allow adding name to short-fns. (diff) | |
Address #1014 improve parse errors when bad delimiters are found.
Reuse some existing logic for eof errors.
Diffstat (limited to 'tools')
| -rwxr-xr-x[-rw-r--r--] | tools/format.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/format.sh b/tools/format.sh index 37e03f26..37e03f26 100644..100755 --- a/tools/format.sh +++ b/tools/format.sh |
