Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fixed the script so that it fails when a copy fails
and also: fix the list of files, as `zdict.h` was incorrectly set.
- Loading branch information