diff options
author | Brian Dawn | 2021-06-05 20:24:10 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2021-06-06 01:49:17 +0000 |
commit | 5463a436a8d5647b90c7bfc54f7fc714465384fa (patch) | |
tree | 5252c5b4c5274c7e249cbe89be51639042f111a4 /book/.gitignore | |
parent | e09b0f4eff1ec3ec943788c7ea205e3161de94cd (diff) |
Return an error if we request an embedded file that does not exist.
This makes the load_runtime_file function behave like the non-embedded
one.
Diffstat (limited to 'book/.gitignore')
0 files changed, 0 insertions, 0 deletions