diff options
author | Eric Huss <eric@huss.org> | 2020-07-30 20:22:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-30 20:22:55 -0700 |
commit | 8746206060960dc9e0e6c1d122976af64883fe43 (patch) | |
tree | 2017be7e7475a5b154095d8fac0ca51cb2b3a1c8 /src/book | |
parent | f5ae7c4f1379ebcfb40f29dc9e291fff9ff11c5c (diff) | |
parent | 78aa2a16f84ea32c15b311086e517a08fd6dab9d (diff) |
Merge pull request #1284 from ericonr/opt
Mention that uninstalled backend isn't marked optional.
Diffstat (limited to 'src/book')
0 files changed, 0 insertions, 0 deletions